Guangdong "00s generation" academic achiever Hong Letong: Entered MIT at 17, dropped out of Stanford to start a business, AI company secured $200 million in funding and became a unicorn

Штучний інтелект переживає підйом молодих підприємців. Одним із них є 洪樂潼 із Гуанчжоу, яка народилася у 2001 році. Вона заснувала AI-компанію Axiom (axiommath.ai) і залучила 200 мільйонів доларів у раунді А, швидко ставши об’єктом уваги світової технологічної спільноти. Раунд очолили відомі венчурні фонди Menlo Ventures, а всі попередні інвестори також підтримали фінансування. Після нього компанія оцінила свою вартість у 1,6 мільярда доларів і стала «єдинорогом».

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

Під час навчання у MIT 洪樂潼 досягла значних успіхів. Вона отримала найвищу нагороду для жінок-математиків — премію Аліси Т. Шефер, а у 2021 році стала однією з чотирьох унікальних стипендіаток Родса з Китаю, що навчалися в Оксфорді на нейронауках. Її академічна кар’єра охоплює математику, фізику, нейронауки і навіть гуманітарні науки: після запуску програми з подвійним докторським ступенем з математики та права у Стенфордському університеті вона вирішила залишити навчання і зайнятися підприємництвом. Раніше вона отримала нагороду AMS-MAA-SIAM Morgan за видатні дослідження у галузі математики для студентів у Північній Америці і увійшла до списку «30 до 30» Forbes у грудні 2025 року.

Заснування Axiom стало результатом глибокого розуміння проблем у галузі AI. Хоча потужність великих моделей швидко зростає, проблема їхньої надійності залишається невирішеною — особливо у сферах фінансів і оборони, де помилки на основі ймовірностей можуть мати серйозні наслідки. Відповідно, Axiom пропонує модель «математика як сервіс», навчаючи AI строгому логічному мисленню, щоб він міг будувати і перевіряти доведення, подібно до математика. Перша продукція компанії — система AxiomProver — вже демонструє вражаючі результати: у грудні минулого року вона використала мову Lean для формалізації доведень у задачах Ердеша, завершивши їх за 1 день і 5 годин без людського втручання. Це важливий прорив — у задачах Ердеша, що містять 1109 складних задач з комбінаторики і теорії чисел, підтверджено лише 266, і лише 10 з них мають формальні, машиночитані доведення.

Бізнес-модель Axiom орієнтована на висококласних клієнтів, зокрема хедж-фонди та квантові трейдери. Компанія стверджує, що її технології здатні забезпечити ефективні квантові рішення для складних математичних доведень у фінансовій сфері. Це цілком відповідає академічному бекграунду 洪樂潼: під час навчання у Стенфорді вона підкреслювала недоліки моделей на кшталт ChatGPT у математичних розуміннях і наголошувала, що сучасний AI потребує більш строгої логічної підготовки.

洪樂潼 — не єдина «00» у AI-індустрії. Нещодавно ще одна компанія — Lingchu Intelligent, яка існує трохи більше року, — оголосила про залучення 2 мільярдів юанів у раунді ангельського та Pre-A фінансуваннях. Інвестори включають державні фонди, такі як China Development Financial, Guozhong Capital, а також місцеві фонди, наприклад, Xuhui Capital у Шанхаї. Співзасновник 陈源培, також народжений у 2001 році, навчався у Пекінському університеті та Стенфорді, під керівництвом відомого дослідника AI Лі Фейфей. Доктор наук із Йельського університету 杨丰瑜 у 2024 році повернулася до Китаю і заснувала компанію Uliqi, що займається тілесним штучним інтелектом, залучивши кілька мільйонів юанів у перший раунд. Три «00» заснували AI-ресурс для підбору персоналу Mercor, який у 2025 році оголосив про залучення 100 мільйонів доларів у B-раунді, а його оцінка склала 2 мільярди доларів.

Ця хвиля молодих підприємців символізує новий етап у розвитку AI, де домінують представники покоління Z. Їхній досвід охоплює академію, індустрію і капітал, а технологічні підходи — від фундаментальних досліджень до практичних застосувань — сприяють руху галузі до більшої надійності і ефективності.