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

匿名数学研究者 Captain Sude 在社交平台宣布，GPT-6 Astra 已无条件证明哥德巴赫猜想的 Liouville（刘维尔）弱形式，即所有大于 2 的偶数均成立。证明正文仅两页，且已通过 Lean 4 形式化验证，零 sorry、零自定义公理。

据介绍，此次突破并非依靠单纯算力碾压，而是模型做出了优雅的逻辑推理。目前已有第三方研究者获取开源代码独立复编译，并通过 249 个偶数的数值测试验证。哥德巴赫猜想自 1742 年提出以来，已困扰数学界超过 280 年。