The Decoder· Manuel Uth·· 59 分钟前精选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 在《科学》杂志发表新研究显示，其基于 Gemini 3.1 Pro 构建的 AlphaProof Nexus 独立解决了数十个开放数学难题。
推荐理由
原文报道了 Google DeepMind 的 AlphaProof Nexus 解决数学难题并通过同行评议的进展，可供了解 AI 在形式化数学证明领域的最新成果。
来源：The Decoder · the-decoder.com