谷歌DeepMind推出AI数学证明框架AlphaProof Nexus，结合推理与形式化验证能力，成功解决两道悬置56年的Erdős难题。该系统采用四级智能体架构，融合Gemini模型与Lean编译器，通过进化机制实现多解生成与评估。在353个开放问题测试中，AlphaProof Nexus共解出9题，并证明44个相关猜想，单题推理成本仅数百美元。同时，其还攻克一项存在15年的Hilbert函数问题并优化凸优化界限，显示AI在数学研究与科学发现中的应用潜力显著提升。
谷歌DeepMind推出AI数学证明框架AlphaProof Nexus，结合推理与形式化验证能力，成功解决两道悬置56年的Erdős难题。该系统采用四级智能体架构，融合Gemini模型与Lean编译器，通过进化机制实现多解生成与评估。在353个开放问题测试中，AlphaProof Nexus共解出9题，并证明44个相关猜想，单题推理成本仅数百美元。同时，其还攻克一项存在15年的Hilbert函数问题并优化凸优化界限，显示AI在数学研究与科学发现中的应用潜力显著提升。