陶哲軒的這番話，一針見血地點出了數學界正在面臨的困局。
數學AI並不是沒有創造力，而是它的創造方式與人類完全不同。
它更擅長從既有理論中進行壓縮、組合、搜尋和驗證，卻很難像人類最頂尖的數學家那樣，在尚未存在的概念空間裡，憑空提出一個全新的物件。
而偏偏現有的學術評價體系，是一個極其功利的“唯結果論”體系。
只有當你使用某種工具證明了著名猜想，才能發表頂刊，獲得教職，拿到基金和榮譽。
如果你的論文只是提出了一種“可能有用，但目前還沒有解決具體問題”的新工具，那麼在大多數審稿人眼中，它只是一種尚未兌現的承諾。
頂刊不願意賭，基金不願意賭，揹負著房貸和非升即走壓力的年輕學者更不敢賭。
可現在，所有能夠快速兌現的“成果”，都正在被AI壟斷。
人類數學家苦思幾個月、幾年，甚至一輩子的結果，可能還比不上AI執行一個晚上。
長此以往，所有的聰明大腦都會放棄去發明那些費力不討好的新工具，而AI又只消耗卻不生成工具。
最終的結果就是，當人類現有的數學工具被AI徹底組合窮盡的那一天，也就是人類數學天花板被徹底鎖死的那一天。
……
這並不是人類歷史上第一次遭遇類似的生態衝擊。
第一次工業革命時期，珍妮紡紗機和蒸汽機的出現，讓傳統手工作坊在極短時間內失去了競爭力。
那些曾經需要多年訓練才能掌握的紡織技藝，突然變得不再稀缺。大量熟練工匠流落街頭，英國甚至爆發了著名的盧德運動。
當時的人們砸毀機器，並不是因為他們不懂機器的價值，而是因為舊制度已經無法容納新工具。
後來，工廠制度逐漸建立，現代教育開始普及，工會和勞動法也隨之誕生。
人類沒有消滅機器，而是重新設計了與機器相處的方式。
如今的數學界，正在經歷屬於自己的“盧德時刻”。
人類當然無法阻止數學AI發展，就像當年的工匠無法阻止蒸汽機前進。
但人類可以重新定義什麼值得被獎勵，重新設計博士培養方式，重新建立適應AI時代的學術生態。
問題是——誰來邁出第一步？
……
在這種極度壓抑和迷茫的氛圍中，人們終於回想起了幾個月前，徐辰在thOverflow上引發的那場巨大震動。
當時，徐辰親自下場，給那十幾篇錯漏百出、但試圖提出新工具的“垃圾論文”補全了證明。
當時那篇《從“退稿意見”到“數學正規化”》的萬字長文橫空出世，大家才恍然大悟：徐辰是在用一己之力，對抗AI時代的僵化評價體系，試圖為人類保留住創新的火種。
而現在，隨著AI收割速度的加快，這句話的含金量還在不斷飆升！
“徐神真的是先知啊……”
”！值價的’工新‘視重去界學個整著地生生，威上無的’帝皇學數‘他用在是就，刊頂發、名署文論的工新造創些那給地狂瘋時當他！面局個這天今了到看就早他“
”？住得頂麼怎人個一他，了大太浪的IA。啊人個一有只他可“
。期谷低的觀悲種一了陷都乎似，界學數個整
。瀾狂挽力次再，人男個那待等，待等在都家大
……
