GPT-6 Astra破刘维尔版哥德巴赫猜想

时间：2026年9月21日 地点：美国旧金山 / 全球数学社区 人物：OpenAI GPT-6 Astra 模型、匿名数学社区账号 Captain Sude、Durham 大学数学家 Alexander P. Mangerel、知乎独立复核者 SUNNY99 事件详情：匿名数学社区账号 Captain Sude 9 月 21 日宣布，OpenAI 旗舰模型 GPT-6 Astra 已成功证明哥德巴赫猜想的刘维尔弱形式。整项证明分两步完成：第一天 Astra 给出一份仅两页 PDF，利用 Mangerel 2024 年论文中的「无条件相关性界限」配合反证法，无条件证明所有 4 的倍数可表示为两个刘维尔值均为 -1 的正整数之和；第二天 Astra 又找到一条全新初等证明路线，把结论推广到全部大于 2 的偶数。该项目已通过 Lean 4 形式化验证，独立审计显示代码无任何 "sorry" 占位符、无新增数学公理，249 个偶数的数值冒烟测试全部通过。 背景：哥德巴赫猜想 1742 年由哥德巴赫在给欧拉的信中提出，至今悬而未决，人类数学家 280 余年仅能证明陈景润式 "1+2"。数学家 2018 年在 MathOverflow 引入刘维尔函数弱化版本，仅要求加数为「质因子个数为奇数」即可，弱于纯素数要求。Mangerel 2024 年在 arXiv 论文（2404.12117）中证明该猜想对充分大偶数成立，但严重依赖广义黎曼猜想（GRH）。GPT-6 Astra 是 OpenAI 9 月 3 日发布的旗舰模型，前沿数学 Tier 4 基准已饱和至 98%。 影响：Astra 不仅去掉了 GRH 依赖，也去掉了「充分大」例外集，首次让刘维尔版哥德巴赫猜想在全部偶数域无条件成立，证明已通过 Lean 4 形式化检验，相当于被机器可读的最高标准背书。但数学界指出，经典「1+1」哥德巴赫猜想仍未解决，刘维尔弱版本中的加数仍可能是合数，距离皇冠上的明珠尚远。事件标志着大模型已具备罕见的高级数学直觉，AI for Math 跨过从「暴力计算」到「优雅推理」的临界点。 总结：GPT-6 Astra 用两天时间完成数学家十年未竟的弱猜想证明，并以 Lean 4 形式化锁定正确性，这是大模型在抽象数学推理上的里程碑式突破；与此同时，经典哥德巴赫猜想仍是数学未竟之业，AI 助手而非取代的角色愈发清晰。 参考来源： 1. 36氪报道：https://www.36kr.com/p/3992525310802946 2. KuCoin News 转载：https://www.kucoin.com/news/flash/gpt-6-astra-proves-linnik-s-variant-of-goldbach-conjecture 3. 36氪英文版：https://eu.36kr.com/en/p/3992525310802946 4. Captain Sude 原推：https://x.com/captain_sude/status/2099890355613155420 5. Mangerel 2024 arXiv 论文：https://arxiv.org/abs/2404.12117 6. OpenAI GPT-6 Astra 官方：https://openai.com/index/gpt-6-astra/