Премʼєра | 25-річний Хун Лесян очолює команду, Axiom щойно залучив 1.4 млрд фінансування

Інвестиційний світ дізнався про новий раунд фінансування —

AI-стартап Axiom, заснований 洪樂潼, оголосив про завершення раунду А на 2 мільярди доларів, його профінансували Menlo Ventures, Greycroft, Madrona Venture, B Capital, Toyota Ventures та інші старі інвестори, що додали інвестицій. Загальна оцінка компанії досягла 1,6 мільярда доларів (приблизно 110 мільярдів юанів).

洪樂潼, 25 років, народилася в Гуанчжоу, навчалася в Гуандунській школі при університеті, багато разів отримувала нагороди на олімпіадах з математики. Потім її шлях пролягав через Массачусетський технологічний інститут, Оксфордський університет, а під час навчання в Стенфордському університеті на аспірантурі вона вирішила присвятити себе підприємництву.

Інвестиційний світ неодноразово спілкувався з洪樂潼 у приватному порядку, коли Axiom ще був у зародковій стадії. Пам’ятаю, як вона під час створення Axiom писала у своєму соцмережевому колі: «Бажаю собі робити і квітку, і дерево. Яскравий ентузіазм, самотність і стійкість.»

Джерело зображення: Массачусетський технологічний інститут

За межами окремої особистості з’являється більш значуща епохальна перспектива: 00-покоління засновників колективно виходять на сцену AI.

Щойно залучено 1,4 мільярда доларів

Заснована за рік, оцінка — 11 мільярдів

Історія починається з розмови у кав’ярні.

Це був пізній осінній вихідний 2024 року, 23-річна洪樂潼 у кав’ярні неподалік Стенфорда зустріла Shubho Sengupta, тодішнього директора досліджень Meta AI.

Після кількох годин обговорень вони говорили про перетини своїх досліджень і можливості AI вирішити найскладніші математичні задачі світу. Незабаром洪樂潼 зробила спокійний, але рішучий вибір: покинути Стенфорд і заснувати Axiom.

Історія геніальної дівчини завжди має свій ореол. Швидко ім’я洪樂潼 почало поширюватися у венчурних колах у таємниці та швидко. Саме тоді вона почала ділитися у соцмережах своїми думками: вона не говорила про тренди чи революції, а більше цікавилася самими проблемами і ясністю у технічних можливостях.

Зараз Axiom оголосила про завершення раунду А на 2 мільярди доларів, і менш ніж за рік вона стала єдинорогом.

Ще п’ять місяців тому ця компанія завершила посівний раунд. Тоді вона з’явилася на горизонті з твердим переконанням: математика — правильна основа для побудови AI-логіки.

У грудні минулого року основна система Axiom у змаганні Путнау, яке вважається “олімпіадою з математики для бакалаврів”, отримала 12 з 12 правильних відповідей. Варто зазначити, що за майже століття лише п’ять людей досягали такого результату. Потім ця система самостійно довела кілька відкритих гіпотез у теорії чисел.

Розв’язання математичних задач — лише вершина айсберга. Axiom інтегрує цю “абсолютно правильну” математичну логіку через перенавчання у сферу перевірки коду, прагнучи вирішити різні проблеми генеративного AI.

Зараз у галузі AI виникає гострий конфлікт: великі моделі демонструють шалений прогрес, але їх надійність залишається чорним ящиком. Повсякденне “базікання” може бути безпечним, але у фінансах, обороні або критичній інфраструктурі будь-яка ймовірнісна помилка може спричинити катастрофу.

“Ми йдемо у світ, де штучний інтелект майже може писати будь-яке програмне забезпечення, але за цим стоїть проблема, яку майже ніхто не обговорює: весь код не перевірений, і це величезний ризик,” — каже партнер Menlo Ventures Matt Kraning. — “Штучний інтелект напише весь код, але математика перевірить його правильність.”

Відповідь Axiom — перевірений AI (Verified AI).

Її головна перевага — формалізована перевірка: за допомогою мови програмування Lean вона перетворює математичні доведення у виконавчий код, що кардинально забезпечує правильність результату. Тут великі моделі більше не “вгадують” відповіді на ймовірнісній основі, а перетворюють код у строгий математичний логічний доказ, кожен крок якого перевіряється детермінованим валідатором.

“Науковий прорив зазвичай складається з двох кроків: висунення гіпотези і її доведення. Ми створили Axiom, щоб максимально швидко перетворити цікавість у істину,” — каже洪樂潼. — “AI вже майже здатен до рекурсивної самовдосконалення. Що стосується нашої кінцевої мети — Axiom — вона полягає у тому…”

“Verified AI — це не просто виправлення недоліків AI. Це шлях до його меж, шлях до суперінтелекту,” — додає вона.

Дівчина-учениця з Гуанчжоу, яка веде команду

З Гуанчжоу

Історія Axiom нерозривно пов’язана з успіхами洪樂潼.

2001 року вона народилася у Гуанчжоу, її батьки — з Чаошань. З дитинства вона проявляла неабиякий математичний талант, навчалася у відомій школі Гуандунського університету. У старших класах洪樂潼 була єдиною з чотирьох дівчат у команді з математики на провінційних олімпіадах, багато разів здобувала нагороди на змаганнях, таких як Кубок Хуана Гена та Всенаціональні математичні змагання для старшокласників.

У 2019 році вона вступила до Массачусетського технологічного інституту, де здобула дві спеціальності — математику і фізику. Через три роки вона отримала стипендію Родса в Оксфордському університеті, ставши однією з чотирьох китайських лауреатів. Родс — один із найстаріших і найпрестижніших міжнародних стипендійних проектів, відомий як “Нобель у галузі бакалаврів”.

Після цього洪樂潼 здобула магістерський ступінь у Оксфордському університеті. Паралельно вона займалася дослідженнями у галузі штучного інтелекту та машинного навчання у Лондонському університетському коледжі, і тоді сказала: “Як буде взаємодія між штучним інтелектом і науковцями у майбутньому? Це — тема моїх майбутніх досліджень.”

У серпні 2024 року洪樂潼 вступила до Стенфордського університету на докторську програму з математики та юриспруденції. “Я завжди була дослідником,” — сказала вона у одному з інтерв’ю. — “У глибині душі я прагну вирішити справжні складні технічні проблеми.” Незабаром вона вже увійшла у світ AI.

Коли DeepSeek став глобальним феноменом,洪樂潼 сказала: “Маленька, але цілеспрямована команда. Група ідеалістів, які працюють разом. Вони мають сильну виконавчу здатність і працюють власноруч. Найцінніше — це віра у ідеали і місію. Це — історія DeepSeek і моя власна історія, яку я хочу написати сама.”

Зараз у Axiom сформована команда “команди мрії”:

Технічний директор Shubho Sengupta — колишній директор досліджень Meta AI, раніше займався дослідженнями систем розподіленого навчання Google і був одним із перших розробників CUDA;

Головний науковець François Charton — піонер у застосуванні трансформерів у математиці, який використовуючи великі моделі, зумів спростувати відкриту понад 30 років гіпотезу.

Найвражаючий факт — приєднання засновника-математика Ken Ono, володаря нагород Гугена, Слона та інших престижних нагород, колишнього віце-президента Американської математичної асоціації, який відмовився від посади у Вірджинії і став повноцінним членом Axiom.

Згадують, що за 40 років викладання Ono наставив десять лауреатів премії Моргана, і洪樂潼 — одна з них.

“Вона має глибокі математичні знання, неймовірну ефективність у роботі і здатність залучати світових топ-талантів,” — каже один із інвесторів. — “Це найвражаючий засновник, якого я бачив за останні двадцять років у Кремнієвій долині, і без сумніву — найкращий.”

Зараз у Axiom понад 30 співробітників, і команда швидко зростає. Її історія тільки починається.