The Decoder· Manuel Uth·· 4 天前
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 独立解决了 353 个开放 Erdős 问题中的 9 个，其中两个已悬置 56 年，团队在论文发表前已在线公开这些解答。
入选记录
门槛 76媒体与个人第一次 71第二次 82
入选两次之和 153 ≥ 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：DeepMind的AI系统解决数学问题并同行评审
- 推荐理由
- AlphaProof Nexus 用 Lean 校验加 AlphaProof 辅助的流程解决多项开放数学问题，并罕见地走完同行评审。
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：The Decoder · the-decoder.com