The Decoder· Manuel Uth·· 2 小时前精选AI 评分85
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 上。该系统基于 Gemini 3.1 Pro，在 Lean 中起草并修改证明，每步由 Lean 校验，难题子任务可调用专用证明工具 AlphaProof；独立运行时它也解出了 9 个 Erdős 开放问题。
推荐理由
AlphaProof Nexus 已通过 Science 同行评审，可与未走期刊流程的 AI 证明工作对照看待其可信度。
来源：The Decoder · the-decoder.com