⌘ K
… 读取采集状态 同步中...
雷
原文
The Decoder· Manuel Uth·· 13 小时前精选AI 评分89

Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

AI 导读

Google DeepMind 的 AI 系统 AlphaProof Nexus 自主解决了数十个开放数学问题,相关研究已在《科学》杂志发表。该系统基于 Gemini 3.1 Pro,解决了 353 个开放 Erdős 问题中的 9 个,以及 OEIS 数据库中的 44 个猜想。研究通过 Lean 形式化语言验证证明,并经过同行评审,区别于 OpenAI 直接在 GitHub 发布证明的做法。

推荐理由

该研究通过同行评审验证了 AlphaProof Nexus 解决开放数学问题的实际效果,为 AI 数学能力的学术认可提供了具体参照。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:The Decoder · the-decoder.com