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 正以极低成本介入真正的数学前沿研究，但需全新数学构造的问题仍无法解决。