Стартап, основанный бросившим Стэнфорд менее 15 месяцев назад, утверждает, что смог сделать то, что обычно занимает у человеческих математиков десятилетия: решить несколько нерешённых задач в математике с помощью ИИ-системы и добиться признания работы академическим сообществом.
Axiom Math, компания из Пало-Альто, возглавляемая основателем Кариной Хонг, утверждает, что её система AxiomProver решила как минимум четыре ранее нерешённые математические задачи. Доказательства были опубликованы на arXiv в феврале 2026 года, но по состоянию на конец мая 2026 года подтверждённых публикаций в рецензируемых научных журналах не было —这一点, которое скрыто в формулировке статьи.
Что на самом деле решила Axiom
Проблемы, решаемые AxiomProver, не являются простыми упражнениями. Среди результатов — решения важных гипотез в алгебраической геометрии и гипотезы Феля, связанной с работами Сринивасы Рамануджана. Одна из решённых проблем касается гипотезы из теории чисел возрастом 20 лет.
По крайней мере один из доказательств был получен в результате сотрудничества с признанными математиками, а не только машинным выводом.
Компания использует формальную верификацию с помощью доказательного помощника Lean. Вместо генерации текста, похожего на доказательство, и надежды на его корректность, AxiomProver создает доказательства, которые на каждом этапе механически проверяются на логическую корректность. Этот слой формальной верификации придает работе достоверность, которой не имеют типичные выходные данные крупных языковых моделей.
Деньги и команда, стоящие за ними
Axiom Math привлекла 200 миллионов долларов в серии A-финансирования, возглавляемой Menlo Ventures, что повысило её пост-инвестиционную оценку до 1,6 миллиарда долларов. Это добавилось к ранее привлеченным 64 миллионам долларов в виде семя-инвестиций, в результате чего общая известная сумма финансирования составила 264 миллиона долларов. Хонг покинул совместную программу J.D./Ph.D. в Стэнфорде, чтобы основать этот проект в марте 2025 года.
Кен Онo, известный теоретик чисел, прославившийся своими работами по наследию Рамануджана и модулярным формам, присоединился к Axiom Math в качестве основателя-математика.
Более широкая картина для ИИ и математики
Axiom Math работает не в вакууме. Google DeepMind активно продвигается в область математических рассуждений, особенно с помощью своей системы AlphaProof.
Стандартной практикой для математиков является публикация препринтов на arXiv во время прохождения статей через рецензирование, процесс, который может занимать месяцы или даже годы. Препринты, опубликованные в феврале 2026 года на arXiv, в настоящее время проходят экспертизу, и на конец мая 2026 года не подтверждено ни одной рецензируемой публикации.