IXThinker·2026-09-18 22:30

AI連破數學難題 傳多項證明未公開

一位理論計算機科學教授在博文中列舉過去一個月由AI證明或協助驗證的長期開放數學問題，包括雅可比猜想反例與經Lean驗證的費馬大定理相關成果，並提及業界有關證明成果的傳聞。

博文緣起

這位教授在長文中寫下13歲女兒的玩笑——「如果我想當數學家，看來大概只剩兩周」，以家庭視角帶出AI在數學證明領域加速推進的現實，幽默之餘引人深思。