RecodeX 重构消息，GPT-6 Astra 在哥德巴赫猜想研究上取得新突破，成功无条件证明了该猜想的 Liouville 弱形式，即所有大于 2 的偶数都可表示为两个刘维尔值为 -1 的正整数之和。

该模型先证明了 4 的倍数情形，随后将结果推广到全部偶数，证明过程未依赖广义黎曼猜想，也无「足够大」限制，并通过了 Lean 4 的形式化验证。

这仍是哥德巴赫猜想的弱化版本，原版猜想尚未解决，但该成果为打通数论中「乘法积木」与「加法组合」搭建了桥梁。