Google DeepMind：AlphaProof Nexus攻克56年数学难题 AI驱动数学研究探索

本文介绍了一项利用人工智能加速数学研究的突破性进展，重点展示了名为 AlphaProof Nexus 的新型智能体框架。该系统通过结合 大语言模型（LLM） 的推理能力与 Lean 形式化证明语言 的严谨校验，克服了传统模型容易产生逻辑幻觉的缺陷。实验结果显示，该智能体能够自主解决包括 Erdős 问题 和 OEIS 猜想 在内的多项长期未解的数学难题。此外，该技术已成功应用于 凸优化、图论 和 代数几何 等前沿领域，并发现了新的算法参数和数学证明。研究强调，通过引入 进化算法 与 反馈循环，AI 能够从简单的初级系统演变为具备解决复杂科研问题能力的专家级工具。这标志着数学研究范式正向 人机协作 转变，AI 不仅能验证已知理论，更能深化人类对未知领域的理解。