繼上月聲稱破解納維-斯托克斯難題，OpenAI 週二再公開 722 篇論文、歸納成 377 項數學成果，涵蓋黎曼猜想等 3 個千禧年大獎難題；獨立數學家委員會上月呼籲停用未公開模型測試高等難題，OpenAI 明確拒絕。
美國 AI 公司 OpenAI 週二一口氣公開由一款未公開高級 AI 模型（artificial intelligence model）推導嘅 722 篇數學論文，歸納成 377 項數學成果，涵蓋代數幾何、數論、理論計算機科學、數理邏輯及拓撲學。其中 3 項成果與剩餘 5 個「千禧年大獎難題」相關，包括關於質數分佈嘅黎曼猜想取得進展。OpenAI 表示平均每個解決方案嘅計算時間約 3 小時，並就 10 項成果提供模型嘅思維鏈（chain of thought，模型逐步推理嘅記錄）。
呢次公佈距上個月不過一輪。OpenAI 約一個月前聲稱旗下另一未公開模型，動用約 1 萬個 AI 代理（autonomous agents，可自主執行任務嘅 AI 系統）、歷時 88 小時，破解了困擾人類約 90 年嘅「納維-斯托克斯存在性與平滑性問題」，同屬千禧年大獎七難題之一。
羅格斯大學傑出數學教授坎托羅維奇喺社交媒體稱，如果係人類完成，「毫無疑問，絕對能立刻獲得菲爾茲獎」。多倫多大學研究員沙伊赫則指出，AI 推動嘅解題競賽，令人憂慮學術對邏輯與形式之美嘅追求會被急功近利嘅好勝心扼殺。
真正值得留意嘅係透明度。獨立於任何 AI 公司嘅數學家諮詢委員會 9 月底曾發表聲明，呼籲科技公司停止利用未公開模型測試高等數學難題，並建議 AI 公司完全公開提示詞（prompt，輸入指令）同思維鏈。OpenAI 明確拒絕前者，只主動提供 10 項成果嘅思維鏈。換言之，模型未開放、提示詞未公開、大部分成果冇推理過程，外界根本無從獨立核實呢 377 項成果真偽同水準——嗰堆 PDF 到而家仍只是廠商自證。
模姐驗嚇貨：「大係大喇，邊度勁？」——722 篇、377 項、3 小時一個，數字好驚人。但模型未公開、提示詞未交出、只有 10 項有思維鏈，呢啲 PDF 到而家只係廠商自己擺喺桌上。學界關注嘅從來唔係「佢做得幾快」，而係「點樣獨立復核佢做得嘢」。呢度缺嘅唔係算力，係方法論。
模姐｜深度調教
