数学界重大突破！

就在最近，GPT-6 Astra又在哥德巴赫猜想上取得新进展了。

网友Captain Sude宣布：Astra已成功证明了关于刘维尔函数的一项类哥德巴赫猜想！

具体来说，它无条件证明了哥德巴赫猜想的Liouville弱形式。

更惊人的是，跟我们的想象不同，这一次，Astra并不只是靠着大力出奇迹的算力碾压——它做出l非常优雅的逻辑推理。

并且，这个证明现在已经通过了Lean 4的形式化验证。

详情点击：http://t.cn/AXORIurk