Google DeepMind 的 AlphaProof Nexus 解決數十個未解數學問題並通過同行評審

Google Deepmind 的 AI 自行解決了數十道懸而未決的數學難題，一項刊於Science的新研究報告了這項結果。AlphaProof Nexus解決了 353 道尚未解決的 Erdős 問題中的九道，其中兩道已經 56 年未能解決。研究團隊在論文發表前，已在網上分享這些解答。

除此之外，AlphaProof Nexus 證明瞭 OEIS 整數數列資料庫中的 44 個猜想，解決了一道代數幾何的未解問題，並改善了 min-max 最佳化中的一項已知界限。這種技術用於訓練部分 AI 模型。它以 Gemini 3.1 Pro 為核心，由後者使用形式語言 Lean 草擬及修訂證明。每次修改後，Lean 都會檢查草稿，而錯誤訊息則會引導下一次嘗試。遇到較難的子問題時，它可以調用專門的證明工具AlphaProof。Google Deepmind 表示，即使不使用 AlphaProof，它仍解決了那九道 Erdős 問題。

這項研究發表之際，AI 數學研究正引發激烈辯論。OpenAI 最近沒有將數百份 AI 證明提交至期刊，而是把它們全部放上 GitHub。由 Terence Tao 領導的 Association for Human Mathematics呼籲抵制。Deepmind 則讓其研究接受同行評審。

AI 新聞不炒作——由人類策劃

訂閲 THE DECODER，即可享有無廣告閲讀、每週 AI 電子報、每年六期獨家「AI Radar」前沿報告、完整檔案庫存取權，以及留言區使用權。