IXThinker·2026-08-05 15:00

數學家逐行覆核 AI證明次日被駁回

人工智能公司宣稱新一代模型推翻著名數學猜想，翌日即遭數學家反駁。後者逐行審閱其公開的3.7萬行形式化證明代碼，將每個對象映射回原始數學定義，找出兩條獨立的邏輯失敗路徑，證明所謂反例並不成立。

事件經過

人工智能公司此前宣布，其下一代模型解決了十個世界級難題，包括推翻剛性猜想。翌日，堪薩斯大學學者發表論文回應，指AI提出的反例不成立，事件迅速成為AI科研可信度的討論焦點。