❯ GPT-6 Astra 被指参与证明刘维尔版哥德巴赫命题，经典猜想仍未解决

公开主张一个公开数学项目将 刘维尔版哥德巴赫命题的无条件证明归功于 GPT-6 Astra：每个大于 2 的偶数，可写成两个刘维尔函数值均为 负一的正整数之和。项目提供论文与 Lean 4 形式化文件，外部整理页面称已有独立重建。

命题边界相比经典命题，目前刘维尔函数的条件与“两数均为质数”不同，因此这不是经典哥德巴赫猜想的证明。公开项目称，新结果消除了此前对广义黎曼猜想或“充分大偶数”的依赖，并用 Lean 4 写出形式化证明；形式化代码可编译支持证明链条核查，却不替代数学界对新颖性、归属和论证价值的审阅。公开模型的归因记录仍不完整。

研究意义若后续复核维持结论，这是一例模型参与发现、形式化工具参与校验的工作流。AI 对证明的具体贡献还需要完整生成过程来界定；标题里不能把“弱化命题获证”缩写成“攻克哥德巴赫猜想”。独立数学家下一步需检验论文与既有结果的关系，并确认形式化陈述是否覆盖原始主张。

▪ SIGNAL这项工作最值得检验的，是模型如何找到证明路线，以及人类能否完整复现那条路线。