Стартап Axiom Math из Пало-Альто утверждает, что его ИИ-система AxiomProver решила несколько нерешённых математических задач, включая значимые гипотезы в алгебраической геометрии и гипотезу Фела. Основанная Кариной Хонг, компания заявляет, что доказательства, сгенерированные ИИ и опубликованные на arXiv в феврале 2026 года, проходят рецензирование, хотя публикации в журналах пока не подтверждены. Система использует формальную верификацию для обеспечения логической корректности, что отличает её от типичных результатов ИИ. Axiom Math привлекла финансирование в размере 264 миллионов долларов, включая недавний раунд серии A на 200 миллионов долларов под руководством Menlo Ventures, что оценивает компанию в 1,6 миллиарда долларов. В команде стартапа — Кен Оно, известный теоретик чисел. Усилия компании соответствуют более широким тенденциям в области математических исследований с использованием ИИ, как, например, инициативы Google DeepMind AlphaProof.