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

GPT-6 Astra 在哥德巴赫猜想研究上取得新突破，成功无条件证明了哥德巴赫猜想的 Liouville 弱形式，即所有大于 2 的偶数都可表示为两个刘维尔值为-1 的正整数之和。它先证明了 4 的倍数情形，随后将结果推广到全部偶数，证明过程未依赖广义黎曼猜想，也无「足够大」限制，且通过了 Lean 4 的形式化验证。不过这只是哥德巴赫猜想的弱化版本，原版猜想仍未解决，但此次突破为打通数论中「乘法积木」与「加法组合」搭建了桥梁，也展现了 AI 出色的数学直觉与推理能力。