OpenAI並非從零解題：算力補完最後一公裡，原創路徑仍稀缺

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