The Decoder· Manuel Uth·· 3 小时前精选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 在《Science》发表论文展示 AlphaProof Nexus，该系统独立解决了数十个未解数学问题并完成了同行评审。该系统以 Gemini 3.1 Pro 为核心并在形式语言 Lean 中起草与修改证明，攻克了 353 个 Erdős 未解问题中的 9 个，同时证明了 OEIS 整数序列数据库中的 44 个猜想。
推荐理由
该研究展示了结合大语言模型起草与形式化工具校验来攻克未解数学难题的路径，并给出了通过同行评审的具体证明成果。
来源：The Decoder · the-decoder.com