The Decoder· Manuel Uth·· 7 天前精选AI 评分79
Google DeepMind的AlphaProof Nexus解决数十个开放数学问题并通过同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Google DeepMind的研究表明，其基于Gemini 3.1 Pro和Lean的AlphaProof Nexus系统独立解决了353个Erdős问题中的9个，其中2个问题已悬而未决56年，并证明了OEIS数据库中的44个猜想。该系统通过Lean进行形式化验证，并在同行评审中确认了其在代数几何和最小最大优化等数学领域的成果。
推荐理由
报道指出该研究通过同行评审解决多个开放数学问题，体现了AI在形式化验证领域的实际进展。
来源：The Decoder · the-decoder.com