Google DeepMind的AlphaProof Nexus解决多个开放数学问题并通过同行评审
decoder ·
《科学》杂志发表的一项新研究显示,谷歌DeepMind的AlphaProof Nexus成功解决了数十个开放数学问题。该人工智能系统破解了353个厄尔多斯开放问题中的9个,其中包括两个已悬而未决56年的难题。此外,它还证明了OEIS整数序列数据库中的44个猜想,并解决了一个代数几何领域的开放问题。该模型以Gemini 3.1 Pro为核心,利用形式化语言Lean迭代起草和验证证明。对于复杂的子问题,它可以调用专门的证明工具AlphaProof,但即使不使用该工具,它也取得了显著成果。这种严谨的方法与近期其他AI公司未经同行评审直接将证明发布到GitHub的做法形成对比。面对数学家发起的抵制呼吁,DeepMind确保其工作经过了传统的学术审查。
decoder