Гениальная юная математическая талантливая девушка из Гуанчжоу в возрасте 25 лет привлекла более 1,4 миллиарда юаней инвестиций, оценка компании — 11 миллиардов юаней

Спроси у ИИ · Как AI-система Axiom революционизирует индустрию верификации кода?

25-летняя вундеркинд-математичка из Гуанчжоу Хун Летун, окончившая Массачусетский технологический институт и Оксфордский университет, бросила учебу в Стэнфорде и основала стартап; всего несколько недель назад она только что привлекла финансирование в размере 200 миллионов долларов, оценка — 1,6 миллиарда долларов, что примерно соответствует 11,0 миллиардам юаней.

Она заявила, что ей очень интересно применять ИИ для математики: «Как заработать на математике? С самого начала мы сталкивались с этой проблемой. Сейчас коммерческие сигналы стали гораздо более ясными: математика может создавать ценность, потому что она умеет самопроверяться, самоконтролировать себя».

Компания Хун Летун получила название Axiom («аксиома»), цель — создать «AI-математика». По сути, бизнес, которым занимаются группа математиков, заключается в разработке AI-системы, способной автоматически верифицировать компьютерный код; по принципу это похоже на то, как математики доказывают сложные математические задачи.

Ее ценность в том, что при использовании ИИ для написания кода невозможно знать, когда в коде появятся уязвимости. С опорой на эту идею в августе 2024 года Хун Летун получила 9,6 миллиона долларов на посевной раунд, что примерно составляет 66 миллионов юаней. В ее представлении, в будущем продукты Axiom смогут обслуживать хедж-фонды и компании, занимающиеся количественной торговлей, помогая быстро решать сложные математические задачи, связанные с оценкой активов и прогнозами фондового рынка.

В середине марта Хун Летун объявила, что привлекла 200 миллионов долларов A-раунда из таких венчурных фондов, как Menlo Ventures, Greycroft и Madrona; это примерно соответствует 1,4 миллиарда юаней. Сейчас в Axiom работает более 20 сотрудников, и Хун Летун занята поиском новых кадров. На зарубежных платформах для соцсетей она регулярно публикует объявления о найме, ищет единомышленников, которые хотят «заниматься математикой с помощью ИИ».