2026年5月，谷歌DeepMind发布AI系统AlphaProof Nexus。该系统融合大语言模型与Lean形式化验证技术，在353个开放Erdős数学问题中自主解决9个，其中包括2个悬而未决56年的难题。同时在OEIS 492个猜想中证明44个，并攻克1个15年未解的Hilbert函数问题。系统采用四层智能体架构，最简版本Agent A即可完成全部已解问题。每题推理成本仅数百美元。研究显示，LLM能力提升与编译器反馈‘锚定’效应是关键突破原因。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。