數(shù)學(xué)界與人工智能領(lǐng)域近日迎來雙重震動：知名數(shù)學(xué)家陶哲軒公開表示當(dāng)前AI尚未達(dá)到真正的人工通用智能（AGI）水平，而滑鐵盧大學(xué)團(tuán)隊隨即宣布GPT-5.2 Pro成功攻克困擾學(xué)界八年的算法復(fù)雜度難題。這場關(guān)于AI能力的辯論與突破，正在重塑人們對機器智能的認(rèn)知邊界。

陶哲軒在社交平臺發(fā)文指出，現(xiàn)有AI系統(tǒng)展現(xiàn)的更多是"通用狡黽"而非真正智能。他以魔術(shù)師作比：AI能寫出優(yōu)雅的詩歌或解決復(fù)雜數(shù)學(xué)題，但當(dāng)被追問解題思路時，往往只能承認(rèn)"從訓(xùn)練數(shù)據(jù)中匹配到相似案例"。這種基于海量數(shù)據(jù)試錯的模式，雖然能在特定任務(wù)中超越人類，卻缺乏可解釋的邏輯根基。他強調(diào)，真正的智能需要具備系統(tǒng)性思維能力，而當(dāng)前AI更像是"隨機生成有用思想的生成器"。

這場討論尚未平息，學(xué)術(shù)圈就傳來驚人突破?；F盧大學(xué)助理教授Kimon Fountoulakis帶領(lǐng)的團(tuán)隊宣布，GPT-5.2 Pro成功證明了加速L1正則化PageRank算法的運行時間復(fù)雜度。這道自2016年起就困擾學(xué)界的難題，曾在2022年被列為國際學(xué)習(xí)理論會議（COLT）的懸賞問題，吸引全球頂尖學(xué)者攻關(guān)未果。研究團(tuán)隊采用三重驗證體系：先由GPT-5.2生成完整證明，再通過Aristotle系統(tǒng)與Gemini 3 Pro模型轉(zhuǎn)化為形式化代碼，最終由人類專家獨立復(fù)核，確認(rèn)證明在"互補性邊界"假設(shè)下成立。

多倫多大學(xué)教授Daniel Litt透露，這道難題的突破具有特殊意義。研究團(tuán)隊最初嘗試的改進(jìn)算法需要每步求解昂貴子問題，實際應(yīng)用效率低下。而GPT-5.2的證明揭示，經(jīng)典FISTA算法在特定圖結(jié)構(gòu)下能實現(xiàn)明確加速，其"多余節(jié)點激活"現(xiàn)象實為可控的臨時狀態(tài)。這項發(fā)現(xiàn)不僅填補了加速算法的理論空白，更展示了AI在數(shù)學(xué)空間探索中的獨特價值——它能快速遍歷海量可能性，為人類研究者指出關(guān)鍵路徑。

學(xué)術(shù)社區(qū)對此反應(yīng)熱烈。Reddit網(wǎng)友指出，雖然陶哲軒對AI局限性的判斷目前成立，但ChatGPT誕生至今僅三年，現(xiàn)在就斷言所有大語言模型存在系統(tǒng)性思維缺陷為時尚早。另有研究者認(rèn)為，GPT-5.2的突破恰恰證明，當(dāng)AI與人類形成互補協(xié)作時，能突破個體認(rèn)知局限。正如研究團(tuán)隊在論文中強調(diào)的："AI不是替代理論科學(xué)家的競爭者，而是擁有驚人直覺的協(xié)作者。"這場辯論與突破，正在重新定義人機協(xié)作的邊界。