體育資訊9月22日訊 就在最近，GPT-6 Astra又在哥德巴赫猜想上取得新進展了。網友Captain Sude宣布：Astra已成功證明了關于劉維爾函數的一項類哥德巴赫猜想！具體來說，它無條件證明了哥德巴赫猜想的Liouville弱形式。

更驚人的是，跟我們的想象不同，這一次，Astra并不只是靠著大力出奇跡的算力碾壓——它做出l非常優雅的邏輯推理。并且，這個證明現在已經通過了Lean 4的形式化驗證。

在這之前，哥德巴赫猜想這個幽靈，已經折磨了人類數學家近三個世紀。1742年，哥德巴赫在歐拉的信中提出這個猜想：「任一大于2的偶數，都可以寫成兩個素數之和?！篂榱怂瑹o數人耗盡心血。從哈代、李特爾伍德，到陳景潤證明「1+2」，人類始終無法皇冠上的明珠——「1+1」