前Intel工程師給AI狂熱潑冷水：解出數學難題，不等於能替代白領

BiRun 訊，做過 LLM 訓練和 CPU 形式化驗証的工程師 Jay Kruer 發文稱，OpenAI 用上萬個 Agent 攻下 Navier-Stokes 難題，並不代表 AI 已經能獨立替代知識工作者。

他的覈心理由很簡單：數學題有明確答案，還能用 Lean 自動檢査。現實裡的編程、研究和企業工作，目標往往很模餬，也沒有一個程序能直接判斷結果對不對。

沒有可靠的自動檢査，人就得一直盯着 AI。要把任務規則寫到足夠嚴格，又需要昂貴的領域專家。Kruer 認為，這部分監督和驗收成本，甚至可能比人自己把活幹了還高。

他因此把現在的 LLM 稱為「開掛實習生」：能力很強、幹活很快，但還不能放心讓它自己管事。

信源

動察 Beating 頻道 · 動察 Beating 交流羣。