GPT-6 刚把哥德巴赫猜想的“替身版”证完了。

这篇两页纸的证明，已经通过了机器验证。逻辑上绝对没漏洞。

先说这个“替身”是怎么回事。哥德巴赫猜想说：大偶数能拆成两个素数相加。这问题悬了 284 年，太难啃。数学家干脆换个思路，搞了个弱化版：只要拆出来的两个数，“质因子个数是奇数”就行。这就叫刘维尔弱形式。

AI 这次直接砸碎了旧枷锁。以前有人证明过这个弱化版。但只管“足够大”的偶数，还得靠一个没被证实的猜想撑着。这次 GPT-6 不仅证明了所有大于 2 的偶数。而且全程只用初等代数。高中生都能看懂推导过程。

怎么保证不是 AI 瞎编？它同时交了 Lean 4 代码让机器复核。结果完美跑通，249 个测试全过。没有任何私造公理或者偷偷作弊。

不过原版猜想还没解。从“质因子个数为奇数的数”跨回“纯素数”。中间还隔着天堑。但这事依然很炸裂。数学上，它打通了乘法和加法的桥梁。AI 上，这说明机器不光会堆算力硬算。它现在也有优雅的数学直觉了。