據數學媒體Quanta:OpenAI並非從空白出發。數學家Diego Córdoba與Luis Martínez-Zoroa 此前已提出“無限級聯”的分析路線,並在2023年證明較粗糙外力下的奇點; 真正尚未跨越的門檻,是讓外力保持數學上的光滑性。普林斯頓數學家、千禧年問題官方描述撰寫者Charles Fefferman認可新結果,但認爲奠定關鍵路線的Córdoba與Martínez-Zoroa纔是這項工作的“英雄”。因此 ,這次突破更像是AI把科研“最後一公里”工業化:人類提供方向,數千個智能體並行試錯,模型補齊關鍵證明並完成形式化。 數學家陶哲軒判斷,數學可能由“證明稀缺”轉向“證明過剩”; 屆時真正稀缺的將是值得研究的問題、有效路徑和獨立審查能力。這意味着算力確實正在轉化爲科研速度,但尚不能簡單等同於AI已經具備完全自主的原創研究能力。

2026-09-09

據數學媒體Quanta:OpenAI並非從空白出發。數學家Diego Córdoba與Luis Martínez-Zoroa 此前已提出“無限級聯”的分析路線,並在2023年證明較粗糙外力下的奇點; 真正尚未跨越的門檻,是讓外力保持數學上的光滑性。普林斯頓數學家、千禧年問題官方描述撰寫者Charles Fefferman認可新結果,但認爲奠定關鍵路線的Córdoba與Martínez-Zoroa纔是這項工作的“英雄”。因此 ,這次突破更像是AI把科研“最後一公里”工業化:人類提供方向,數千個智能體並行試錯,模型補齊關鍵證明並完成形式化。 數學家陶哲軒判斷,數學可能由“證明稀缺”轉向“證明過剩”; 屆時真正稀缺的將是值得研究的問題、有效路徑和獨立審查能力。這意味着算力確實正在轉化爲科研速度,但尚不能簡單等同於AI已經具備完全自主的原創研究能力。