Стартап Axiom Math с оценкой в $1,6 миллиарда завершил формальную верификацию проекта Stacks Project. Это обширная база математических знаний, которую начал развивать математик Йохан де Йонг в 2005 году, охватывающая темы от алгебры до теории чисел и геометрии.
Для проверки данных компания задействовала парк ИИ-агентов, которые перевели около 7 654 страниц проекта в 16 миллионов строк кода на языке Lean. Затем программа-ассистент проверила этот код построчно, чтобы подтвердить логическую корректность всех математических доказательств.
Компания основана в марте 2025 года Кариной Хонг. В марте 2026 года стартап привлек $200 миллионов в рамках раунда серии А под руководством Menlo Ventures. Команда обучила собственные модели, которые самостоятельно распределяли задачи и работали параллельно.
Axiom Math стремится создать верифицированную базу, на которую смогут опираться ИИ-агенты при написании программного обеспечения и проведении научных исследований. По мнению разработчиков, это поможет избежать генерации неточного контента.
