The Decoder· Manuel Uth·· 2 小时前精选AI 评分79
DeepMind AlphaProof Nexus 自主解决多道未解数学问题并通过同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Google DeepMind 团队在 Science 发表研究称，基于 Gemini 3.1 Pro 构建的 AlphaProof Nexus 在 Lean 形式化语言环境中自主证明了 353 个 Erdős 未解问题中的 9 个。
推荐理由
AlphaProof Nexus 在 Lean 形式化环境中自主解决多道未解 Erdős 问题并通过 Science 同行评审，为 AI 数学证明的可复现路径提供了具体样本。
来源：The Decoder · the-decoder.com