Google DeepMind的AlphaProof Nexus解决多个开放数学问题并通过同行评审 | AI Archive

《科学》杂志发表的一项新研究显示,谷歌DeepMind的AlphaProof Nexus成功解决了数十个开放数学问题。该人工智能系统破解了353个厄尔多斯开放问题中的9个,其中包括两个已悬而未决56年的难题。此外,它还证明了OEIS整数序列数据库中的44个猜想,并解决了一个代数几何领域的开放问题。该模型以Gemini 3.1 Pro为核心,利用形式化语言Lean迭代起草和验证证明。对于复杂的子问题,它可以调用专门的证明工具AlphaPr

AI Archive

Terminal content

Latest news

News articles

Repository of the day

anthropics/claude-plugins-official · ⭐ 41,711

Official, Anthropic-managed directory of high quality Claude Code Plugins.

Source: GitHub Trending