パロアルトに拠点を置くスタートアップ、Axiom Mathは、自社のAIシステム「AxiomProver」が代数幾何学の重要な予想やFelの予想を含む複数の未解決の数学問題を解決したと主張しています。Carina Hongによって設立された同社は、2026年2月にarXivに投稿されたAI生成の証明が査読中であると述べていますが、まだ学術誌での掲載は確認されていません。このシステムは形式的検証を用いて論理的妥当性を保証しており、一般的なAI出力とは異なる特徴を持っています。 Axiom Mathは2億6400万ドルの資金調達を行っており、最近ではMenlo Venturesが主導した2億ドルのシリーズAラウンドを経て、同社の評価額は16億ドルに達しています。スタートアップのチームには著名な数論学者である小野健も含まれています。同社の取り組みは、GoogleのDeepMind AlphaProofのようなAI駆動の数学研究の広範な潮流と一致しています。