⌘ K
… 读取采集状态 同步中...
雷
原文
AI HOT· [email protected] (The Decoder:AI News)·· 12 小时前精选AI 评分83

AlphaProof Nexus 独立解决 9 个未解 Erdős 问题并获同行评审

AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审

AI 导读

Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个,其中 2 个悬置 56 年,相关成果已提交同行评审。该系统基于 Gemini 3.1 Pro,利用形式化语言 Lean 检查证明错误并指导修订,同时证明了 44 个 OEIS 整数序列猜想。

推荐理由

原文展示了形式化验证闭环和同行评审细节,读者可据此判断 AI 数学证明的可信度与部署方式。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:AI HOT · aihot.news