Google DeepmindのAlphaProof Nexusは、数十件の未解決数学問題を解決し、実際に同業者によるレビューも受けました

Google DeepmindのAlphaProof Nexusは、数十件の未解決数学問題を解決し、実際に同業者によるレビューも受けました

Google DeepmindのAIが、自らで数十件の未解決数学問題を解決したと、Science誌の新しい研究による。AlphaProof Nexusは、353件の未解決エルドス問題のうち9件を解決した。そのうち2件は56年間解決されなかった問題であった。このチームは、論文発表前にこれらの解決策をオンライン上で公開した。

その他にも、AlphaProof NexusはOEIS整数数列データベースから44の仮説を証明し、代数的幾何学における未解決問題を解決し、あるAIモデルを訓練するために使用される最小最大最適化の既知の制限を改善した。このツールはGemini 3.1 Proを中心に構築されており、形式言語Leanで証明を起草・修正する。Leanは各草稿を編集のたびにチェックし、エラーメッセージが次の試行を導く。より難しいサブ問題に対しては、AlphaProofという特殊な証明ツールを呼び出すことができる。AlphaProofがなくても、9つのErdős問題を解決したとGoogle Deepmindの報告による。

AI数学に関する激しい議論の中でこの研究が行われている。OpenAIは最近、学術界に追いつくよう促す代わりに、数百件のAIによる証明をGitHubにダンプした。テレンス・タオが率いる人間数学協会はボイコットを呼びかけた。Deepmindは自身の研究を同僚レビューに通した。

アイイーニュース 過度な期待なし – 人間が選んだもの

広告なしの読書、毎週のAIニュースレター、年6回の独占的「AIラダー」フロンティアレポート、完全なアーカイブアクセス、そしてコメントセクションへのアクセスを得るために、THE DECODERを購読してください。