DeepMind 釋出 AlphaProof Nexus：用幾百美元算力，解開 56 年未解數學題
Google DeepMind 釋出 AlphaProof Nexus 論文，在 353 個開放數學題中自主攻克 9 個 Erdős 難題，並證明了 44 個 OEIS 猜想。系統將大模型與證明輔助工具 Lean 結合完成機器驗證，單題成本僅數百美元。最值得關注的是，AI 正以極低成本介入真正的數學前沿研究，但需全新數學構造的問題仍無法解決。
Google DeepMind 釋出 AlphaProof Nexus 論文，在 353 個開放數學題中自主攻克 9 個 Erdős 難題，並證明了 44 個 OEIS 猜想。系統將大模型與證明輔助工具 Lean 結合完成機器驗證，單題成本僅數百美元。最值得關注的是，AI 正以極低成本介入真正的數學前沿研究，但需全新數學構造的問題仍無法解決。