Лица 00-х в венчурном капитале становятся все более распространенными.
Инвестиционное сообщество узнало, что Axiom Math официально завершила первый раунд финансирования на 64 миллиона долларов (примерно 4,6 миллиарда юаней), возглавляемый B Capital, с участием таких учреждений, как Greycroft, Madrona и Menlo Ventures, с постинвестиционной оценкой в 300 миллионов долларов (примерно 2 миллиарда юаней).
Создательницей Axiom является 00-хун Хонг Летонг (Carina Hong) — родилась и выросла в Гуанчжоу, она училась в знаменитой средней школе Хуанань Нормал Университета, многократно завоевывала медали на олимпиадах по математике. Затем поступила в Массачусетский технологический институт, получила степень магистра в Оксфорде и продолжила обучение в Стэнфордском университете для получения докторской степени.
(Источник изображения: Массачусетский технологический институт)
Довольно драматично, что Axiom возникла из общения в кафе.
Тихо, основатели 00-х активно выходят на AI-сцену.
10 человек завершили первый раунд финансирования, оценка 20 миллиардов.
Кто такой Axiom?
На официальном сайте указано, что эта поднимающаяся AI-компания позиционирует себя как "начало с AI-математика для создания самосовершенствующейся системы суперинтеллектуального вывода".
Иными словами, это модель, которая может решать сложные математические задачи, предоставляя подробные рассуждения о разных шагах, предпринятых для получения ответа, одновременно проводя проверку.
Конкретно, идея Axiom заключается в том, чтобы преобразовать английское математическое содержание из учебников, статей и журналов в программные знания, чтобы искусственный интеллект мог решать математические задачи и проверять ответы через верификацию. В будущем исследовательские сценарии этой модели могут быть расширены на области финансового моделирования, архитектуры чипов и даже количественной торговли.
В представлении основателя Хун Летонг эта модель может предложить новые математические гипотезы и тем самым создать новые знания.
Почему нацелились на AI-математический путь? Случилась одна интересная история. В этом году ChatGPT o3 был обвинен в мошенничестве на математическом тесте, и Хун Летонг указала в социальных сетях, что большой модель OpenAI, вероятно, показала хорошие результаты на математическом тесте, потому что во время обучения модели они уже сталкивались с этими вопросами.
Она привела в пример, что в американском математическом конкурсе некоторые большие языковые модели могут достигать 96% точности, но когда требуется представить процесс доказательства, оценка резко падает до 5%. "Почему существует такая разница? Потому что в методах обучения есть проблемы." Текущие большие модели ИИ не могут идеально решать комбинаторные математические задачи, что как раз является областью исследования Хун Летонг.
С точки зрения Axiom, искусственный интеллект привнес исторический поворотный момент, в котором открытия в области математики могут развиваться с экспоненциальной скоростью, поэтому сейчас мы стоим на пороге математического возрождения. Это возрождение основано на трех основных столпах: искусственном интеллекте, языках программирования и математике. Эти три элемента совместно способствуют появлению ряда открытий, и каждое новое достижение служит мощным стимулом для следующей инновации.
Теперь первый раунд финансирования официально завершен, и команда Axiom впервые представляется – хотя сейчас в ней всего 10 штатных сотрудников, среди которых много специалистов по ИИ из Meta.
Например, нынешний технический директор Шубхо Сенгупта, который раньше возглавлял команду Meta FAIR и разработал OpenGo и CrypTen; до этого он также работал над исследованием распределенной системы обучения Google, будучи одним из первых экспертов, разработавших технологию CUDA; Франсуа Шартон, который также работал в Meta и занимался исследованием больших языковых моделей в математике и теоретической физике, начал изучать, как применить технологию Transformer к сложным математическим задачам еще в 2019 году; Хью Лезер, который также был исследователем ИИ в Meta и разработал одну из первых больших языковых моделей для компиляторов и генерации кода для GPU.
Как ведущий инвестор, партнер B Capital заявил на официальном сайте, что решение сложных математических задач является ядром многих человеческих изобретений. Следовательно, инструмент, который может выдвигать новые количественные гипотезы и проводить их проверку, безусловно, будет иметь огромную ценность. Команда Axiom также обладает уникальными преимуществами, чтобы воспользоваться этой возможностью и реализовать передовые математические технологии.
«Карина Хонг – выдающийся математик, она не только обладает исключительными академическими достижениями, но и той страстью и сосредоточенностью, которые присущи лучшим предпринимателям. Она прекрасно сочетает в себе дальновидное руководство и непоколебимую исполнительскую силу». Ее путешествие только начинается.
Лидер группы 00-х – выдающаяся девушка из Гуанчжоу.
История Axiom неразрывно связана с успешной карьерой Хун Летонг.
Родилась в Гуанчжоу, ей 24 года, ее родители – коренные жители Чаошаня. Хотя родители не получили высшего образования, Хун Летонг с детства проявляла выдающиеся математические способности, училась в средней школе в известной школе Гуандуна – Хуаннань Нормальной школе.
Во время учебы в старшей школе Хун Летонг была одной из четырех девушек в провинциальной команде по математической олимпиаде и неоднократно занимала призовые места на конкурсах, таких как "Золотая чаша Хуа Ло Гэна" и Национальная математическая олимпиада для старшеклассников. В 2019 году она поступила в Массачусетский технологический институт для получения двойной степени по математике и физике.
Во время учебы в бакалавриате Хун Летонг была единственной девушкой среди четырех членов провинциальной команды на математической олимпиаде, неоднократно занимала хорошие места на таких конкурсах, как "Золотая чаша Хуа Ло Гэна" и Национальная математическая олимпиада для старшеклассников. В 2019 году она была принята в Массачусетский технологический институт для получения двойной степени по математике и физике.
В конце 2022 года Хун Летонг успешно получила стипендию Родса в Оксфордском университете, став одной из четырех китайских лауреатов. Стипендия Родса является одним из старейших и самых престижных международных стипендиальных программ в мире и имеет репутацию "Нобелевской премии для бакалавров".
Затем Хун Летонг отправилась учиться нейробиологии в Оксфордском университете и получила степень магистра. В это время она также проводила исследования в области искусственного интеллекта и машинного обучения в Университетском колледже Лондона, тогда она заявила: "Как будет выглядеть взаимодействие между искусственным интеллектом и учеными в будущем? Это тема, которую я надеюсь исследовать далее."
В августе 2024 года Хун Летонг поступила в Стэнфордский университет для получения докторской степени по математике и праву. "Я всегда была исследователем", – сказала она в одном из предыдущих интервью, добавив, что в глубине души она стремится решить действительно сложные технические проблемы. Совсем скоро она, будучи еще аспиранткой, попала в мир ИИ.
Она основала Axiom после общения в кафе.
Одним осенним уикендом прошлого года Хун Летонг встретилась в кафе недалеко от Стэнфорда с Шубхо Сенгуптой, который тогда еще работал в Meta. Они общались несколько часов, обсуждали точки пересечения своих исследовательских областей и возможность разработки искусственного интеллекта для решения самых сложных математических задач в мире.
Сразу после этого общения Хун Летонг оставила Стэнфорд и начала создавать Axiom. Интересно, что конференц-залы Axiom названы в честь математических гениев, таких как Гаусс и Ада Лавлейс.
Когда в начале года DeepSeek завоевал популярность по всему миру, Хун Летонг выразила такие мысли: "Маленькая, сосредоточенная и уникальная команда. Отличные партнеры, составленные из группы идеалистов. Их исполнительская способность велика, они активно участвуют. Самое ценное – это вера, пронизанная идеалом и миссией. Это история DeepSeek и история, которую я хочу написать сама."
Как говорится на официальном сайте Axiom, "Будущее математических открытий начинается здесь."
Погружение в ИИ, поколение 00-х уже на сцене.
Смотрим вперед, основатели 00-х коллективно выходят на AI-сцену.
Совсем недавно два 00-х из Массачусетского технологического института – 22-летняя китаянка Джессика У и 23-летний Нил Дешмук – основали Sola Solutions, которая привлекла финансирование от известного венчурного капитала Кремниевой долины. На официальном сайте указано, что финансирование включает 3.5 миллиона долларов на начальном этапе, возглавляемое Conviction, и 17.5 миллиона долларов в раунде A, финансируемом a16z с соинвестированием Conviction, всего 21 миллион долларов (примерно 1.5 миллиарда юаней).
Такие примеры возникают.
В мае этого года AI-стартап Anysphere завершил раунд финансирования в 900 миллионов долларов (примерно 65 миллиардов юаней), оценка достигла 9 миллиардов долларов, став одним из самых горячих AI-программных единорогов этого года. Управляют компанией четыре молодых лица – в 2022 году выпускник Массачусетского технологического института Майкл Труэлл и его трое однокурсников пришли к единому мнению и решили начать стартап в области AI-программирования. Их продукт Cursor кардинально изменил подход к программированию и быстро завоевал популярность в AI-сообществе Кремниевой долины.
Совпадение, что в марте этого года сайт по трудоустройству AI Mercor объявил о завершении раунда B финансирования на 100 миллионов долларов, оценка достигла 2 миллиардов долларов, темпы роста поразительны. Основателями компании являются трое отчисленных студентов 00-х. На втором курсе они основали Mercor в своей комнате, а затем решили оставить Гарвард и Университет Джорджтауна, чтобы полностью заняться стартапом.
Мы перенесли внимание обратно на родину, аналогичная сцена разыгрывается здесь.
В начале этого года три "гика" из Цинхуа – Мин Юйхэн, Чэн И и Ли Ичжэ – начали свой бизнес в области робототехники, основав Zero Power. Теперь компания успешно завершила раунд angel+ и angel++ финансирования на уровне миллиардов юаней, объединив известные учреждения, такие как Hechuang Ventures, Tongchuang Weiye, Lihe Kechuang, Shuimu Fund, Ruifeng Lihe, Ralph Ventures и другие.
Есть и другие стартапы, которые ранее завершили раунд angel-финансирования, такие как Lingchu Intelligent, которые были профинансированы Hillhouse Capital и BlueRun Ventures. Сооснователь компании Чэнь Юаньпэй – 00-й, увлеченный робототехникой, ранее был научным сотрудником Стэнфорда, обучаясь у профессоров Карен Лю и Ли Фэйфэй; основатель и генеральный директор компании UniX AI Ян Фэнюй, родился в 2000 году, учился на факультете компьютерных наук в Университете Мичигана, а после получения докторской степени в Йельском университете вернулся в страну для создания бизнеса и также привлек внимание многих венчурных капиталистов.
Группа 00-х постепенно поднимается. Ранее один инвестор проанализировал, что в этой волне AI-стартапов основатели 00-х, 90-х и 80-х имеют одинаковую стартовую позицию, и даже у первых есть более значительные преимущества. Потому что многие вещи слишком новы, и существующий опыт не может быть напрямую использован, в то время как 00-е не обременены, и их восприятие новых вещей более тонкое.
«Мы всегда твердо верили, что предпринимательство во многих случаях принадлежит молодежи». Партнер фонда ZhenFund Дай Юйсэнь недавно заметил: «Не знающие не боятся. Многие результаты научных инноваций рождаются именно из-за того, что участники, хоть и понимают, но не боятся, что и порождает инновационные идеи».
«Молодость полна амбиций, и энергия для действий приходит в свое время». Каждое поколение молодых предпринимателей неизбежно оставляет свой след в длинной исторической реке. (Wall Street Insight)$BNB
