The Decoder· Manuel Uth·· 2 小时前
Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
SI 导读
Google DeepMind 的 AlphaProof Nexus 基于 Gemini 3.1 Pro 在 Lean 中起草并验证证明，解决数十个开放数学问题并通过 Science 同行评审。
精选SI 评分80
推荐理由
在AI数学证明陷入期刊提交争议的背景下，该研究经同行评审确认了基于Gemini 3.1 Pro的形式化证明路线，为同类工作提供可比照案例。
来源：The Decoder · the-decoder.com