2026年9月21日,OpenAI宣布成立「數學與人工智能顧問組」(Advisory Group on Mathematics and Artificial Intelligence)。該顧問組設喺普林斯頓高等研究院(Institute for Advanced Study),由九位知名數學家組成,並會獨立於OpenAI運作。同時,OpenAI披露:公司自8月28日起開始訓練嘅一款內部模型,已成功解決數學多個領域中逾100個長期未解嘅開放問題,其中包括此前引起廣泛關注嘅納維‑斯托克斯(Navier‑Stokes)千年大獎問題。
顧問組詳情
顧問組初期成員包括:François Charles(ENS‑PSL)、Camillo De Lellis(IAS、GSSI)、Timothy Gowers(法蘭西學院、劍橋)、Martin Hairer(EPFL、帝國理工)、Nikhil Srivastava(伯克利、Simons Institute)、Ulrike Tillmann(牛津、INI)、Ravi Vakil(史丹佛)、Edward Witten(IAS)以及Melanie Matchett Wood(哈佛)。

根據OpenAI同顧問組本身說法,呢個組織定位為獨立嘅諮詢機構。成員唔會向OpenAI領取薪酬,可以主動提出未被請求嘅建議,可以公開發表意見,亦可自行決定成員構成。其職責主要包括:協助評估新出現結果嘅學術意義、就成果發布同傳播方式提供建議、就數學研究嘅學術與職業標準提出意見,並討論點樣令AI工具更好支援數學研究同教學。
顧問組強調,其角色係諮詢而非決策,唔負責建議OpenAI如何控制內部數學研究嘅推進節奏。呢個安排係為回應近期數學界對AI公司快速發布重大結果嘅憂慮,尤其係此前把未解問題當作AI基準所引起嘅爭議。
內部模型與「百餘問題」主張
OpenAI喺公告中稱,8月28日啟動訓練嘅新內部模型(能力顯著強於已發布嘅GPT‑6 Astra),唔單止解決咗納維‑斯托克斯存在與光滑性問題,亦解決咗跨越多數數學分支嘅逾100個長期開放問題。納維‑斯托克斯問題本身已喺9月上旬由OpenAI公開相關證明同Lean形式化驗證材料,當時報道顯示其依賴大規模多智能體協作(約數千至上萬智能體、數十小時量級計算),並引發數學界關於驗證標準、發表流程同「理解 vs 答案」嘅激烈討論。
此番「逾100個開放問題」嘅主張目前主要仍來自公司聲明。顧問組成立嘅直接背景之一,正係如何審慎、有序地處理並發布呢批聲稱嘅結果。顧問組當前任務包括就呢啲結果嘅協調發布向OpenAI提供建議,並歡迎數學界提供意見。
可能影響
1. 數學研究範式嘅衝擊
若後續經獨立審查確認相當一部分結果成立,將意味住AI已能喺傳統需要數年甚至數十年先解決嘅問題上取得突破。呢個唔單止改變「難題解決」嘅時間尺度,亦可能改變數學家嘅工作方式——由完全手工推導,轉向與AI協作驗證、篩選同加深理解。形式化驗證(如Lean)嘅角色將會進一步突顯。
2. 學術標準與信任機制面臨考驗
快速產生大量結果,好容易衝擊傳統同行評審、優先權認定同知識累積嘅節奏。顧問組嘅設立可視為一種緩衝機制,嘗試喺公司驅動嘅高速產出同數學共同體嘅審慎標準之間建立橋樑。但佢只具諮詢權,實際約束力有限,最終仍要視乎OpenAI會否採納建議以及更廣泛社群嘅接受程度。
3. 對AI能力敍事嘅影響
將「解決開放數學問題」作為能力里程碑,強化咗AI喺形式推理同科學發現上嘅敍事。同時,亦加劇咗「答案正確但人類是否真正理解」嘅哲學同實務爭論。此前已有菲爾茲獎得主等聯名表達對AI衝擊數學研究生態嘅憂慮,顧問組嘅出現可視為對此嘅直接回應。
4. 產業與研究生態嘅連鎖反應
其他AI實驗室可能會加速類似數學專項嘅投入;大學與研究機構需重新思考人才培養、評價標準同人機協作規範。對資助方同期刊而言,如何界定AI貢獻、如何要求可重現嘅形式化證明,將成為新議題。
結語
OpenAI成立獨立數學顧問組,並同步公布「內部模型已解決逾百個開放問題」嘅資訊,標誌住AI同數學前沿嘅互動進入新階段。顧問組提供咗一條制度化嘅溝通渠道,有助提升結果審查同發布嘅審慎性,但佢嘅諮詢性質亦決定咗無辦法單獨決定研究節奏。真正關鍵嘅,仍係呢啲聲稱嘅結果能否經得起廣泛、嚴格嘅獨立驗證,以及數學共同體能否喺高速技術變革中維護深度理解同知識質量嘅核心價值。後續顧問組嘅實際運作、具體問題清單嘅披露,以及獨立複現嘅進展,將決定呢件事嘅長遠分量。
▶️ 鍾意呢篇內容?創作真係好辛苦!
歡迎追蹤我哋嘅 YouTube 頻道:
AI Rosetta
你嘅讚好、訂閱同分享,係對我哋最大嘅支持!🙏
更多AI新聞請瀏覽:https://www.airosetta.com