The Decoder· Manuel Uth·· 3 小时前精选AI 评分82
Google DeepMind 的 AlphaProof Nexus 解出数十道开放数学问题并通过同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Google DeepMind 的 AlphaProof Nexus 在一项发表于 Science 的研究中，自行解出 353 道开放 Erdős 问题中的 9 道，其中两道此前已未解 56 年。
推荐理由
文章把 AlphaProof Nexus 的数学成果、Lean 形式化验证流程与同行评审背景放在一起，便于理解其研究贡献及争议所在。
来源：The Decoder · the-decoder.com