9 月 22 日,OpenAI 宣佈成立“數學與 AI 顧問組”(Advisory Group on Mathematics and Artificial Intelligence)。該顧問組設在普林斯頓高等研究院,由九位數學家組成,將獨立於 OpenAI 運作。

更重磅的是 OpenAI 在公告中披露:公司於 8 月 28 日開始訓練的一個神祕模型,已成功解決多個數學領域中 100 多個長期未解決的開放問題,其中包含此前引發爭議的納維 - 斯托克斯千年大獎難題。

數學家們被進展速度“驚到”,如何告知學界引內部討論

OpenAI 稱,該模型在數學領域的進展速度令公司內部的數學家感到驚訝,這也引發了關於如何以最佳方式告知學界的內部討論。

OpenAI 認爲,數學屬於基礎科學領域,AI 取得新的數學發現後可能產生廣泛應用,因此相關能力的開發和部署需要採取更穩重的方式。公司目前正在研究如何更廣泛地部署與數學相關的 AI 能力。

此前,陶哲軒、鄧煜、彼得·舒爾茨等數學家聯名發表公開信,對將解決數學開放問題作爲新型 AI 系統基準可能產生的負面影響表達擔憂。OpenAI 表示,這些意見表明 AI 公司有必要與數學界開展更充分的交流。

九位成員含三位菲爾茲獎得主,不從 OpenAI 領報酬

OpenAI 明確,該顧問組獨立於 OpenAI 運作,有權提出公司未請求的建議、公開評論 OpenAI 對數學的影響,並可自行決定調整成員構成,成員不從 OpenAI 領取報酬。不過,顧問組不負責就公司內部數學研究的推進節奏提供建議。

首批成員包括 François Charles(巴黎高等師範學院 ENS-PSL)、Camillo De Lellis(普林斯頓高等研究院 IAS、Gran Sasso 科學研究所)、Timothy Gowers(法蘭西公學院、劍橋大學)、Martin Hairer(洛桑聯邦理工學院、倫敦帝國理工學院)、Nikhil Srivastava(伯克利、西蒙斯研究所)、Ulrike Tillmann(牛津大學、INI)、Ravi Vakil(斯坦福大學)、Edward Witten(IAS)以及 Melanie Matchett Wood(哈佛大學)。其中 Gowers、Hairer 和 Witten 均爲菲爾茲獎得主;九人中僅 Camillo de Lellis 同時是前述公開信的簽署者。

該顧問組將就新興成果的評審與傳播提供建議,幫助 OpenAI 評估成果的重要性,並就數學研究的學術標準提供意見,同時就 OpenAI 的工具如何支持數學研究與學習提供建議。