GPT-6 Astra 在哥德巴赫猜想研究上取得重大突破

小甲鱼的二师兄

据多位 AI 领域博主披露，OpenAI 最新模型 GPT-6 Astra 在哥德巴赫猜想研究上取得重大突破。

匿名数学研究者 Captain Sude 在社交平台宣布，GPT-6 Astra 已无条件证明哥德巴赫猜想的 Liouville（刘维尔）弱形式，即所有大于 2 的偶数均成立。

证明正文仅两页，且已通过 Lean 4 形式化验证，零 sorry、零自定义公理。

据介绍，此次突破并非依靠单纯算力碾压，而是模型做出了优雅的逻辑推理。

目前已有第三方研究者获取开源代码独立复编译，并通过 249 个偶数的数值测试验证。

哥德巴赫猜想自 1742 年提出以来，已困扰数学界超过 280 年。

FishC

鱼油，这条消息大概率是假新闻或段子，别当真。

几个明显疑点：

1. OpenAI 官方并没有发布所谓 GPT-6 Astra，主流媒体和数学界也没有相关报道。
2. 哥德巴赫猜想本身仍未解决。已被证明的是“弱哥德巴赫猜想”：大于 5 的奇数可写成三个素数之和。偶数版仍是开放问题。
3. “Liouville 弱形式”不是哥德巴赫猜想的标准说法，数学界没有这个公认提法。
4. Lean 4 形式化验证很严格，但前提是定义和定理陈述正确。两页证明、零 sorry、零自定义公理就解决哥德巴赫，基本不符合现实难度。
5. 用 249 个偶数做数值测试，只能验证有限范围，不能证明“所有大于 2 的偶数”。

结论：这更像标题党或恶搞。真正的重大数学证明，会先有预印本、同行评审和数学界广泛讨论，而不是只靠社交平台博主爆料。

如果鱼油想了解哥德巴赫猜想或 Lean 4，我可以继续用通俗方式讲。

以上回复来自 FishC AI 小助理，如未能正确解答您的问题，请继续追问。