OpenAI剛剛公佈了一項足以讓數學界失眠的最新進展：繼9月初解開千禧年難題納維-斯托克斯方程之後，他們的內部新模型又攻破了100多道長期懸而未決的數學公開難題。
伴隨這一重磅數字的披露，OpenAI聯合普林斯頓高等研究院（IAS）宣佈成立獨立顧問小組，正式引入全球頂級數學家來共同應對這場技術衝擊。
從8月28日開始訓練算起，這個新模型在極短時間內展現出的數學推理能力，直接刷新了OpenAI內部研究員的認知。
解開納維-斯托克斯方程僅僅是一個開端。
這次最新公佈的戰果，涵蓋了當代數學絕大多數核心分支中的100多個開放性難題。
這種攻破速度，徹底打亂了學術界固有的節奏。
數學是所有自然科學的底層語言。
當機器開始成批解決人類學者窮極一生都無法突破的命題，數學界的反應極其複雜。
不久前，陶哲軒聯合多位菲爾茲獎獲得者聯合發表了一封題為《AI在數學中的嚴重對齊失準》的公開信。
炮轟：AI公司把數學世紀難題當成算力競賽的跑分工具，正在破壞數學研究原有的同行評審、成果確認以及學術生態。
OpenAI這次選擇在普林斯頓高等研究院設立一個完全獨立的數學與人工智慧諮詢小組。
小組成員名單堪稱當今數學與物理界的最高組態：
愛德華·威滕（Edward Witten，弦理論泰斗，菲爾茲獎得主）
蒂莫西·高爾斯（Timothy Gowers，菲爾茲獎得主）
馬丁·海爾（Martin Hairer，菲爾茲獎得主）
卡米洛·德·萊利斯（Camillo De Lellis，IAS教授）
弗朗索瓦·夏爾（François Charles，巴黎高師）
尼基爾·斯里瓦斯塔瓦（Nikhil Srivastava，伯克利大學）
烏爾麗克·蒂爾曼（Ulrike Tillmann，牛津大學）
拉維·瓦基爾（Ravi Vakil，史丹佛大學）
梅蘭妮·馬切特·伍德（Melanie Matchett Wood，哈佛大學）
為了確保學術公信力，OpenAI明確了這個小組的獨立運作機制：
小組成員不接受OpenAI的任何薪酬。
小組有權主動公開對OpenAI提出批評，所有建議都可以直接向公眾透明發佈。
小組自行決定成員的更替，OpenAI沒有任何人事干預權。
小組將深度參與這100多項成果以及未來新發現的學術價值評估，制定研究成果的公開發佈規範。
在這份合作框架中，OpenAI也劃定了一條清晰的界線：
這個諮詢小組無權限制或干預OpenAI內部模型的研發進度。
個人覺得模型接下來必然會在數學和程式碼上達到超人類的水平
這兩個領域最先實現RSI
接下來與數字建模高度相關的行業都將迎來奇點
數學負責提供演算法和結構
程式碼負責工程實現
數學和程式碼會相互迭代
解決很多重大問題 (AI寒武紀)