報導：Google DeepMind 的 AlphaProof Nexus 解出 353 個 Erdős 開放問題中的 9 個，研究通過同行評審

The Decoder 報導，Google DeepMind 的 AlphaProof Nexus 在一篇刊於《Science》的研究中，自主解出 353 個 Erdős 開放問題中的 9 個，其中兩題此前已未解 56 年；Google DeepMind 已在論文發表前公開這些解答。該研究及其成果目前仍應視為報導內容，官方尚無其他佐證來源。 報導稱，AlphaProof Nexus 也證明了 OEIS 整數序列資料庫中的 44 個猜想，解決一項代數幾何開放問題，並改善用於訓練部分 AI 模型的 min-max 最佳化技術中的既有界限。系統以 Gemini 3.1 Pro 為核心，由模型以 Lean 形式語言撰寫、修改證明；Lean 每次編輯後都會檢查證明，並以錯誤訊息引導下一輪嘗試。較困難的子問題則可交由專門的 AlphaProof 證明工具處理，但 Google DeepMind 稱，即使不使用 AlphaProof，系統仍解出了上述 9 個 Erdős 問題。 報導並將此成果置於 AI 數學研究的同行評審爭議中比較：OpenAI 近期把數百份 AI 證明上傳至 GitHub、未提交期刊，隨後由 Terence Tao 領導的 Association for Human Mathematics 呼籲抵制；DeepMind 則將這項工作送交同行評審。