DeepMindのAlphaProof Nexus、数百ドルでErdősの問題を9問解決

Google DeepMindは、Gemini 3.1 ProとLean形式検証ツールを組み合わせたエージェントフレームワークであるAlphaProof Nexusを導入し、数学的予想を自律的に解決した。このシステムは、9つのエルデシュ問題と44のOEIS予想を解き、いくつかの百ドル程度の推論コストで結果を達成した。アーキテクチャは、LLMが証明ステップを提案し、Leanコンパイラがそれらをチェックするループに依存し、モデルを記号論理に接地して推論エラーを回避する。研究者を驚かせたが、コンパイラのフィードバックのみを使用する最も単純なエージェント構成が、最も難しいタスクに対して十分であることが証明され、特殊なシステムよりも汎用的なLLMベースのアプローチへのシフトを示唆している。