正文：2026年5月，谷歌DeepMind发布AlphaProof Nexus框架，成功解决9道悬置数十年的埃尔德什数学难题，包括一道卡了人类56年的整数集合问题和一道30年未解的密度问题。该系统还证明了OEIS百科中的44个猜想，解决了一道代数几何领域搁置15年的难题，并改进了凸优化领域的理论边界。AlphaProof Nexus基于Gemini模型，通过生成Lean语言证明步骤并反复调试完成任务，推理成本仅为每题几百美元。论文显示，最简单的Agent A也能独立解决全部问题，表明大模型与专业校验工具的简单组合可能成为未来数学研究的高效方案。