DeepMind AlphaProof Nexus登《Science》：AI自主破解多道56年未解Erdős数学难题

DeepMind的AlphaProof Nexus系统解决了9道长期悬而未决的Erdős数学问题，证明了AI在形式化数学证明领域的潜力。该系统通过结合大型语言模型与Lean编译器反馈机制，实现高效的问题求解过程。尽管存在争议，但其成果仍为数学界带来了新的思考方向。

🔗 [论文地址]：https://www.science.org/doi/10.1126/science.aej2213