Google Deepmind 的 AlphaProof Nexus 解出数十个未解数学问题并获同行评审

Google Deepmind 的 AlphaProof Nexus 解决了数十个未解数学问题，其中包括九个 Erdős 问题，其中两个已悬而未决 56 年，成果发表于 Science。报道指出，Deepmind 在发布前对结果进行了同行评审，这与 OpenAI 因在 GitHub 上直接发布未经同行评审的 AI 证明而遭抵制形成对比。

此前 AI 生成数学证明多直接堆在代码托管平台，缺乏学术验证，引发研究者对可靠性的质疑和抵制。此次成果通过同行评审并登上 Science，为 AI 数学能力提供了可核查的学术背书，可能改变学界对 AI 产出证明的接受标准。

AlphaProof Nexus 由 Google Deepmind 开发，能针对长期未解的 Erdős 问题给出证明，且结果经同行评审后发表，说明其推理过程可被数学界独立检验。与未经评审直接公开证明的做法相比，评审环节提升了成果的可信度，但证据未披露其具体方法或与 AlphaProof 的关系。

对依赖形式化推理的产品而言，经同行评审的 AI 数学证明可作为可信训练或评测信号，降低人工复核成本。对研发流程来说，AI 产出需先经过验证环节再对外发布，可能成为涉及高风险结论时的默认步骤。

• 搭建面向形式化数学证明的自动验证与评审流水线，将 AI 产出与可核查的结论绑定
• 为数学、密码学等依赖严格证明的领域提供 AI 辅助问题求解并按学术规范提交结果
• 推出 AI 证明结果的第三方评审或可信度标注服务，供平台和研究机构使用

• AlphaProof Nexus 与 AlphaProof、AlphaGeometry 等系统是什么关系？
• 九个 Erdős 问题的具体列表及两个 56 年未解问题分别是什么？
• 同行评审的具体流程、评审方和发表时间是什么？
• OpenAI 被抵制的具体范围与影响是否确证？