GPT-6 Astra 在哥德巴赫猜想的刘维尔弱形式方向完成了无条件证明，是数论领域一次很有价值的阶段性成果，本次成果已经通过 Lean4 形式化验证，整个证明逻辑可以被机器核验。之前 2024 年相关成果存在两个限制条件，一是结论只对足够大的偶数生效，二是证明需要依托广义黎曼猜想，而 GPT-6 Astra 的这次研究去掉了这两个前提条件，结论适用于全部大于 2 的偶数，证明篇幅简短，依靠严谨的逻辑推导完成，不是单纯依靠算力暴力计算。这项成果属于哥德巴赫猜想的弱化版本证明，并不是原版哥德巴赫猜想已经被完全攻克，原版猜想要求把偶数拆成两个素数之和，本次证明拆分出来的数字满足刘维尔函数特征，和素数不是同一概念，不过该成果可以为后续数论研究提供新的思路与参考。本次研究先是借助已有文献里的相关性边界结论，搭配下降法完成初步推导，先完成可被 4 整除整数的相关证明，后续继续优化推理路径，拓展到全部大于 2 的偶数，完成整套推导之后，再用 Lean4 工具对全部逻辑步骤做形式化校验，排除逻辑漏洞，得到可复现的数学结论。这项研究充分展现 AI 模型在高端数学推理领域的潜力，未来 AI 也可以持续辅助数学家探索更多数论难题。
成果核心信息清单
- 研究对象：哥德巴赫猜想刘维尔弱形式
- 模型：GPT-6 Astra
- 验证工具：Lean4
- 核心亮点：无条件证明，覆盖全部大于 2 的偶数，无额外猜想前提
- 成果定位：阶段性数论突破，未完成原版哥德巴赫猜想证明
原版猜想与本次成果对比表
表格
| 项目 | 原版哥德巴赫猜想 | GPT-6 Astra 本次成果 |
|---|---|---|
| 拆分要求 | 大于 2 偶数拆成两个素数之和 | 大于 2 偶数拆成两个刘维尔函数值 =-1 的正整数之和 |
| 前提条件 | 无 | 无 |
| 证明状态 | 尚未被证明 | 已完成证明且 Lean4 验证通过 |
| 数字范围 | 全部大于 2 偶数 | 全部大于 2 偶数 |
【常见问题】
问题 1：GPT-6 Astra 在哥德巴赫猜想上取得的突破，代表原版哥德巴赫猜想被证明了吗？
回答 1：GPT-6 Astra 在哥德巴赫猜想相关的刘维尔弱形式完成证明，不代表原版哥德巴赫猜想已经被证明，原版猜想要求拆分为两个素数，本次成果的数字判定标准是刘维尔函数，二者定义不一样，属于相关方向的阶段性成果。
问题 2：GPT-6 Astra 完成的哥德巴赫猜想弱形式证明，可信度如何？
回答 2：GPT-6 Astra 产出的哥德巴赫猜想刘维尔弱形式证明，已经使用 Lean4 完成形式化验证，能够逐行校验推导逻辑，代码可以独立复现，不存在额外新增公理，数学逻辑可信度较高。
问题 3：GPT-6 Astra 研究哥德巴赫猜想弱形式，相比过去同类成果优势是什么？
回答 3：过去哥德巴赫猜想相关弱形式成果，受限于仅适用于足够大偶数且依赖广义黎曼猜想，GPT-6 Astra 的成果去掉这两个限制，实现无条件适用全部大于 2 偶数，推理思路简洁。
【数据来源】
[2026-09-22]（GPT-6 Astra 取得哥德巴赫猜想重大突破，这一突破含金量有多高？）腾讯新闻
[2026-09-21]（GPT-6 Astra 两页纸两天，把哥德巴赫猜想往前推了一大步）搜狐科技
[2026-09-21]（刚刚，GPT-6 Astra 取得哥德巴赫猜想重大突破）36 氪
免责声明：本文内容仅用于科普信息分享，不构成学术定论，相关数学成果仍会持续接受全球数学科研人员的讨论核验，相关技术信息以官方发布内容为准。