Google Deepmind 的 AlphaProof Nexus 解决了数十个开放的数学问题，并确实通过了同行评审。

Google Deepmind 的 AlphaProof Nexus 解决了数十个开放的数学问题，并确实获得了同行评审认可

Google Deepmind的AI自行解决了数十个开放的数学问题。 根据一项新研究 科学. AlphaProof Nexus 破解了353个开放的Erdős问题中的9个，还有2个问题已未解决长达56年。该团队在论文发表前在线分享了这些解决方案。

此外，AlphaProof Nexus 从 OEIS 整数序列数据库中验证了 44 个猜想，解决了代数几何领域的一个未解问题，并改进了最小-最大优化中的已知界限——这种技术被用于训练某些人工智能模型。该工具基于 Gemini 3.1 Pro 构建，能够用形式语言 Lean 编写和修订证明内容。每次编辑后，Lean 都会检查每个草稿，错误提示会指导后续尝试。对于更困难的子问题，它可以调用 AlphaProof 这一专用证明工具。即便没有 AlphaProof，它也解决了九个 Erdős 问题，据 Google Deepmind 报告。

这项研究是在关于人工智能数学的激烈争论中发布的。OpenAI 最近没有将这些 AI 证明提交给期刊，而是把数百份 AI 证明存储在 GitHub 上。由特伦斯·陶领导的人类数学协会呼吁进行抵制活动。Deepmind 则对其研究进行了同行评审。

AI新闻——无炒作，由人类整理

订阅 THE DECODER，即可享受无广告阅读体验、每周 AI 通讯、每年六次独家“AI Radar”前沿报告、完整档案访问权限，以及评论区访问权限。