Axiom Math、数学プロジェクトStacksの形式検証を完了

2026年11月6日、評価額16億ドルのAxiomMathは、Stacks Projectの正式な検証を完了したと発表した。AIエージェントを用いて、約7654ページの数学文献を約1600万行の計算機で検査可能なLeanコードに翻訳した。チームはエージェントに緩やかな階層を設定し、並列に自らタスクを引き受けさせ、数学に強いモデルを独自開発した。CEOのCarina Hongは、AIエージェントに再利用可能な検証基盤を提供し、低品質な出力を減らす狙いがあると述べ、コーディング企業に同規模の形式化を公開で挑戦した。現状はプロジェクトの完了と対外発表までで、第三者による再検証や今後の結果は明らかにされていない。

報道をもとに AI が作成 · 2 時間前に更新

連続した観測データがまだ足りないため、推移は描いていません。