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

GateUser-bd883c58 · 2026-04-05T13:41:48+00:00

Компанія Axiom, заснована Хон Летун, прагне використовувати технології штучного інтелекту для перевірки коду. Вона сподівається, що ця інновація принесе комерційну цінність математиці. Мета Axiom — розробити систему штучного інтелекту, яка автоматично виявляє вразливості у коді, щоб швидко вирішувати складні математичні задачі та обслуговувати фінансову галузь. Нещодавно Хон Летун отримала $200 мільйонів у раунді фінансування Series A, команда розширюється.

GateUser-bd883c58

2026-04-05 13:41:48

Генерація анотацій у процесі

Запитай у ШІ · Як AI-система Axiom революціонізує індустрію верифікації коду?

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

Вона заявила, що їй дуже подобається використовувати ШІ для математики: «Як заробляти на математиці? Від самого початку ми зіштовхнулися з цим викликом. Зараз бізнес-сигнали стали значно чіткішими: математика створює цінність, тому що вона здатна до самоперевірки, самоконтролю».

Компанію Хун Летун назвали Axiom (Аксіома). Її мета — створити «AI-математиків». Суть того, чим займається група математиків, спрощено така: вони створюють AI-систему, яка автоматично верифікує комп’ютерний код; принцип подібний до того, як математики доводять складні математичні задачі.

Її цінність у тому, що, використовуючи ШІ для написання коду, ти не можеш знати, коли в коді з’являться вразливості. Саме завдяки цій ідеї, у серпні 2024 року Хун Летун отримала інвестиції насіннєвого раунду в розмірі 9,6 млн доларів, що приблизно дорівнює 66 млн юанів. У її задумі майбутні продукти Axiom зможуть обслуговувати хедж-фонди та кількісні торгові компанії, швидко розв’язуючи складні математичні задачі, пов’язані з ціноутворенням активів і прогнозами щодо фондового ринку.

У середині березня Хун Летун оголосила, що з таких венчурних компаній, як Menlo Ventures, Greycroft and Madrona, вона залучила 200 млн доларів фінансування серії A, що приблизно дорівнює 1,4 млрд юанів. Зараз Axiom має понад 20 співробітників, і Хун Летун посилено підбирає команду. Вона регулярно публікує оголошення про вакансії на закордонних соціальних платформах, шукаючи однодумців, які прагнуть «робити математику за допомогою ШІ».

Переглянути оригінал

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.