GPT-6 Astra 給出一份新證明，拿下劉維爾版哥德巴赫問題。

經典哥德巴赫要「兩個質數」；這一版放寬成「兩個質因子總數爲奇數的整數」。杜倫大學數學家 Alexander P. Mangerel 此前只能在廣義黎曼猜想成立、且偶數足夠大時證明。Astra 去掉這兩道限制，證到所有大於 2 的偶數都成立：先假定某個偶數拆不開，再推出互相打架的結論。

完整證明已寫進 Lean 4，能正常編譯；獨立審計倉庫也復現通過，未見 sorry 或額外數學公理。經典哥德巴赫本身仍未解決——這裏的兩個加數還可以是合數。