GPT-6证明哥德巴赫猜想刘维尔弱形式

2026年9月21日，GPT-6 Astra在哥德巴赫猜想研究中取得重要进展，无条件证明了其刘维尔弱形式：所有大于2的偶数均可表示为两个刘维尔函数值为-1的正整数之和。该证明仅两页，已通过Lean 4形式化验证，未依赖广义黎曼猜想或自定义公理。第三方研究者复现代码并对249个偶数进行测试，结果全部通过。此项成果虽未解决经典哥德巴赫猜想，但提供了连接乘法与加法结构的新路径，拓展了数论研究的边界。