IXThinker·2026-09-22 10:30

GPT-6 Astra證明哥德巴赫猜想弱形式

新一代模型GPT-6 Astra宣布證明哥德巴赫猜想的劉維爾弱形式，過程並非依靠算力蠻力碾壓，而是展現精巧邏輯推理，相關證明已通過形式化驗證，被視為人工智能涉足基礎數學理論的重要標誌。

三百年懸案

哥德巴赫猜想於1742年在書信往還中提出，指任何大於2的偶數均可寫成兩個素數之和，近三個世紀以來困擾無數數學家，是數論領域最著名的未解難題之一，被視為數學皇冠上的明珠。