IXThinker·2026-08-18 15:10

菲爾茲獎得主：AI熱衷構造反例

菲爾茲獎得主Timothy Gowers梳理近月AI最轟動的數學戰績，發現一個高度一致的現象：面對重大猜想，AI優先嘗試構造反例而非直接證明，從雅可比猜想、單位距離猜想到非sofic群問題皆然。

戰績畫風統一

回顧近月AI在數學界的表現：雅可比猜想，找反例；埃爾德什單位距離猜想，找反例；非sofic群問題，構造過去無人找到的例子；多色Ramsey數問題，核心依舊是構造滿足要求的新對象，套路如出一轍。