GPT-6 Astra 给出一份新证明，拿下刘维尔版哥德巴赫问题。

经典哥德巴赫要「两个质数」；这一版放宽成「两个质因子总数为奇数的整数」。杜伦大学数学家 Alexander P. Mangerel 此前只能在广义黎曼猜想成立、且偶数足够大时证明。Astra 去掉这两道限制，证到所有大于 2 的偶数都成立：先假定某个偶数拆不开，再推出互相打架的结论。

完整证明已写进 Lean 4，能正常编译；独立审计仓库也复现通过，未见 sorry 或额外数学公理。经典哥德巴赫本身仍未解决——这里的两个加数还可以是合数。