Стартап, заснований бросившим Стенфорд менше ніж 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’s DeepMind активно розвиває математичні міркування, зокрема завдяки своїй системі AlphaProof.
Стандартною практикою для математиків є публікація пре-принтів на arXiv під час проходження статей через рецензування, процес, який може тривати місяці або навіть роки. Публікації на arXiv у лютому 2026 року зараз підлягають експертній перевірці, і на кінець травня 2026 року жодні рецензовані публікації ще не підтверджені.