Гуандунский "поколение 00-х" отличник Хун Летэн: поступил в MIT в 17 лет, бросил Стэнфорд для создания стартапа, AI-компания получила финансирование в размере 200 миллионов долларов и вошла в клуб единорогов

Искусственный интеллект переживает волну молодых предпринимателей. Одним из них является 洪乐潼 из Гуанчжоу, которая, основав AI-компанию Axiom (axiommath.ai), привлекла 200 миллионов долларов на раунде серии A и быстро стала центром внимания в мировой технологической индустрии. Этот раунд возглавила известная венчурная компания Menlo Ventures, а существующие инвесторы присоединились к финансированию. После завершения раунда оценка компании достигла 1,6 миллиарда долларов, и она официально вошла в список единорогов.

Образование 洪乐潼 — настоящее легендарное. Родилась в 2001 году в Гуанчжоу, её родители — простые рабочие, но благодаря выдающимся математическим способностям уже в старшей школе выделялась среди сверстников. В первом классе она была выбрана для участия в программе талантливых школьников Гуандуна, училась у профессора Ван Сюэциня из Университета Sun Yat-sen и стала одной из четырех девушек, прошедших отбор на национальный математический олимпиадный турнир для школьников в Гуандуне. В 2018 году, в возрасте 17 лет, она поступила в Массачусетский технологический институт (MIT), где изучала математику и физику, завершив обучение за три года. За это время она опубликовала 9 научных статей по теории чисел, комбинаторике и другим фундаментальным разделам математики, а некоторые исследования касались автоматизации математических доказательств — одной из ключевых сложных задач.

В MIT достижения 洪乐潼 не ограничивались академическими успехами. Она получила престижную награду для женщин-математиков — премию Алисы Т. Шефер, а в 2021 году стала одной из четырех китайских стипендиатов Ротари, обучавшихся в Оксфорде по нейронаукам. Затем её академическая карьера охватила математику, физику, нейронауки и даже гуманитарные науки: после запуска совместной докторской программы по математике и праву в Стэнфорде она решила уйти из университета и начать бизнес. Ранее она была удостоена награды AMS-MAA-SIAM Morgan за выдающиеся исследования в области математики и вошла в список Forbes «30 до 30» в 2025 году.

Создание Axiom было вызвано глубоким пониманием проблем индустрии ИИ. Несмотря на быстрый рост возможностей больших моделей, проблема надежности остается нерешенной — особенно в критичных сферах, таких как финансы и оборона, где ошибки, основанные на вероятностях, могут иметь серьезные последствия. В ответ на это Axiom предложила модель «математика как услуга», обучая ИИ строгой логике и доказательствам, чтобы он мог строить и проверять их, как математик. Первая продукция компании — система AxiomProver — уже показывает впечатляющие результаты: в декабре прошлого года она использовала язык Lean для формализации доказательств двух задач из набора Эрдеша — задач №124 и №481, решая их за 1 день и 5 часов без вмешательства человека. Это важно, поскольку набор задач Эрдеша включает 1109 сложных задач по комбинаторике и теории чисел, из которых доказаны лишь 266, а только 10 — в форме, пригодной для автоматической проверки.

Бизнес-модель Axiom ориентирована на премиум-клиентов, таких как хедж-фонды и квантовые трейдеры. Компания утверждает, что её технологии позволяют финансовым организациям эффективно решать сложные математические задачи и автоматизировать доказательства. Эта стратегия полностью соответствует академическому опыту 洪乐潼: в Стэнфорде она отмечала недостатки моделей вроде ChatGPT в математическом рассуждении и подчеркивала, что текущий ИИ лишен строгой логической базы.

洪乐潼 — не единственный представитель поколения «00» в сфере ИИ. Недавно другая компания — Lingchu Intelligent, основанная чуть более года назад, — объявила о завершении раундов ангельского и Pre-A финансирования на сумму 2 миллиарда юаней. В инвесторах — государственные фонды, такие как China Development Financial и China Zhong Capital, а также местные фонды, например, Shanghai Xuhui Capital. Соучредитель Чэнь Юаньпэй, также родившийся в 2001 году, учился в Пекинском университете и Стэнфорде под руководством известного ученого в области ИИ Ли Фейфей. Янг Фенью, выпускница Йельского университета, в 2024 году вернулась в Китай и основала компанию по робототехнике и искусственному интеллекту Uliqi, привлекшую сотни миллионов юаней. Также в 2025 году три «00» основали AI-платформу для рекрутинга Mercor, которая уже привлекла 100 миллионов долларов и оценивается в 2 миллиарда долларов.

Это поколение молодых предпринимателей символизирует новый этап в развитии ИИ, где лидируют представители поколения Z. Их опыт охватывает академическую сферу, индустрию и капитал, а их технологии — от фундаментальных исследований до практических решений — совместно двигают отрасль к более надежному и эффективному будущему.