OpenAI組建獨立數學顧問組評估成果發佈
OpenAI宣佈與一組數學家合作,成立獨立顧問組,就如何評估和對外通報新的數學結果、維護學術與職業標準、以及開發服務研究與教學的工具提供建議,並希望數學家處於塑造人工智能如何支持數學理解的中心。
顧問組設在普林斯頓高等研究院,初始成員包括François Charles、Camillo De Lellis、Timothy Gowers、Martin Hairer、Nikhil Srivastava、Ulrike Tillmann、Ravi Vakil、Edward Witten和Melanie Matchett Wood。組方稱可主動給建議、公開評論公司對數學的影響、自行決定成員;無決策權,公司決定仍由公司負責。成員不取酬。
公告背景是公司稱8月28日起訓練的內部模型已解決逾100個未決問題,並涉及納維-斯托克斯千年大獎題等聲明。此前數學界有公開信要求人工智能公司與學界謹慎互動。顧問組定位是橋樑,不是審稿委員會,也不控制內部訓練節奏。
買盤是要給模型產出套上學術發佈程序的實驗室聲譽資金;賣盤是認爲顧問無法約束髮布節奏的懷疑。事件驅動是官方建組和成員名單落地。受益的是需要合法性通道的OpenAI和被請到桌邊的頂尖數學家;承壓的是把模型輸出直接當定理的傳播方式。
市場交易的是發佈權如何被學界介入,不是定理是否已被社區接受。
來源:公開信息
ABAB AI 解讀
OpenAI把數學當高聲望試金石:一旦宣稱解決開放問題,面對的是證明標準、優先權和期刊慣例,而不是產品演示。顧問組出現在內部模型“百題”聲明之後,功能是把評估、通報和工具設計外包給可公開說話的數學家,同時把訓練日程留在公司內。高等研究院託管、成員可公開異議,是在補“實驗室自行宣佈突破”留下的信任缺口。納維-斯托克斯等聲明仍是公司口徑,顧問組並未被寫成驗證機構。
資本路徑是聲望換許可。數學突破能抬升下一代模型的科研敘事,也最容易因發佈失當引發共同體反彈。請Fields獎和高等研究院背景學者入組,成本是允許他們公開批評,收益是後續論文、工具和數據集更容易被引用而不是被抵制。決策權不交出去,說明這是溝通層治理,不是研究治理。
對照對象是AlphaFold與結構生物學期刊的磨合、Google的學術合作委員會、以及氣候模型與專業學會的發佈規範。數學更硬:對就是對,錯就是錯,優先權記錄可追溯百年。OpenAI處在從競賽式發佈轉向尋求學科接口的階段。
結構判斷屬於監管變化的萌芽,監管者不是政府而是學科共同體。機制是:當模型開始產出可稱爲定理的文本,發佈渠道就必須經過可問責的評估;誰掌握“這算不算結果”的話語,誰就限制實驗室把研究當營銷。顧問組把數學家放進流程,是承認模型公司不能再獨自定義數學進展。
ABAB News · 認知定律
能產出證明的模型,必須面對審稿而不是發佈會
顧問可以公開說話,不等於拿走訓練日程
學科共同體一進場,突破聲明就要單獨經受標準檢驗