24-летняя выпускница Стэнфорда привлекла ведущих исследователей Meta для создания ИИ-математика
Карина Хонг, стипендиат Родса и бывшая аспирантка Стэнфорда, основала стартап Axiom Math, который разрабатывает искусственный интеллект для решения сложнейших математических задач. В команду вошли ведущие исследователи из Meta и Google Brain, а в сентябре компания объявила о привлечении $64 млн на развитие.
Основательница Axiom Math, 24-летняя Карина Хонг, покинула аспирантуру Стэнфордского университета, чтобы в марте 2025 года запустить стартап, нацеленный на создание ИИ, способного решать сложные математические задачи. По словам Хонг, компания уже заявила о решении двух давно нерешённых задач Эрдёша — выдающегося венгерского математика, чьи проблемы десятилетиями представляли серьёзный вызов для научного сообщества.
В команде Axiom числится 17 сотрудников, многие из которых — бывшие исследователи из лаборатории фундаментальных исследований искусственного интеллекта Meta (FAIR), а также специалисты из GenAI Meta и Google Brain, недавно вошедшей в DeepMind. Среди привлечённых экспертов — технический директор стартапа Шубхо Сенгупта, с которым основательница познакомилась случайно в кафе.
По мнению Хонг, именно сложность стоящих задач привлекает талантливых учёных, стремящихся оставить значимое наследие в области искусственного интеллекта. Она отметила, что FAIR Meta давно славится высококлассными исследованиями, что помогло ей в рекрутинге. При этом в октябре Meta провела сокращения в этой команде, а в ноябре её покинул ведущий учёный Янн ЛеКун, что, вероятно, способствовало переходу части специалистов в Axiom.
Хонг подчёркивает, что в стартапе культивируется неиерархическая культура, а возраст и опыт для неё — условные категории, не влияющие на сотрудничество. Кроме того, она привлекла к проекту своего бывшего профессора, известного математика Кена Оно.
Помимо теоретической математики, Axiom Math рассматривает коммерческое применение своих разработок в сферах, требующих строго доказуемых вычислений и логики, таких как верификация аппаратного и программного обеспечения, количественные финансы и криптография.
Для израильского рынка искусственный интеллект с возможностями глубокого математического анализа может стать значительным подспорьем как для высокотехнологичных стартапов, так и для финансовых и кибербезопасных компаний. При этом опыт привлечения талантов из крупных технологических корпораций показывает важность миссии и перспектив развития для удержания специалистов, что актуально и для израильской индустрии.
На сегодняшний день подробностей о сотрудничестве Axiom Math с израильскими компаниями или инвесторами в открытых источниках нет.