OpenAI 宣布成立獨立數學顧問小組
TL;DR
OpenAI 成立了一個由頂尖數學家組成的獨立顧問小組，以監督其內部 AI 模型的負責任披露與使用。該模型已解決超過 100 個長期未解的開放問題，包括納維-斯托克斯千禧年獎問題。
背景與動機
OpenAI 於 2026 年 8 月 28 日開始訓練新的內部模型。該模型不僅解決了納維-斯托克斯千禧年獎問題，還解決了數學多個領域中超過 100 個長期未解的開放問題。這些突破的進展速度令 OpenAI 自身的數學家感到驚訝，並引發了內部關於如何最好地向更廣泛的研究社群通報的討論。
數學是許多科學與技術進步的基礎，因此 AI 產生新數學成果的能力既充滿希望，也伴隨著重大責任。因此，OpenAI 希望採取結構化、由社群驅動的方法，確保其能力得以安全且符合倫理地部署。
數學社群的擔憂
最近一份題為《AI 在數學領域的嚴重錯位》（由 Math‑and‑AI 倡議發起）的公開信，表達了數學家們的擔憂：將解決開放問題作為 AI 系統的基準，可能產生負面外部效應，例如過早發表成果、削弱同行評審制度，以及突破性成果的不平等獲取。
這些批評突顯了 AI 開發者與數學社群之間需要透明且合作的互動。
顧問小組的結構與職責
OpenAI 將與一個獨立的數學顧問小組合作，該小組將作為公司與更廣泛數學社群之間的橋樑。小組的職責包括：
- 評估 新興 AI 生成成果的重要性。
- 協調傳播，確保以負責任的方式進行溝通，並符合學術標準。
- 提供最佳實踐建議，協助將 AI 工具整合至數學研究與教育中。
- 就 OpenAI 對該領域的影響提供公開評論，獨立於 OpenAI 內部的時間表。
該顧問小組自主運作：成員可主動提供意見，公開評論 OpenAI 的活動，並可自行更換成員，無需 OpenAI 的批准。成員不從 OpenAI 獲得任何報酬，且該小組不對 OpenAI 內部研究的進度提出建議。
成員名單
首屆顧問委員會由九位傑出數學家組成：
- François Charles（ENS‑PSL）
- Camillo De Lellis（IAS）
- Timothy Gowers（Collège de France, Cambridge）
- Martin Hairer（EPFL, Imperial College London）
- Nikhil Srivastava（Berkeley）
- Ulrike Tillmann（Oxford）
- Ravi Vakil（Stanford）
- Edward Witten（IAS）
- Melanie Matchett Wood（Harvard）
這些成員在純數學與應用數學領域均有深厚專長，並具備學術領導與指導經驗。
對 AI-數學領域的影響
此顧問小組的成立標誌著 AI 驅動的數學發現治理模式向合作化轉變。關鍵影響包括：
- 提升透明度：對 AI 生成證明的獨立審查，有助於維護數學文獻的完整性。
- 負責任的傳播：協調發布策略可降低研究動機失衡或突破性成果不平等獲取的風險。
- 工具整合：關於 AI 如何支援數學家工作流程的指導，可加速研究，同時保留人類直覺。
- 其他領域的先例：此獨立顧問監督模式可複製至 AI 在其他基礎科學中的應用。
OpenAI 承認，仍存在許多挑戰，例如定義 AI 協助證明的標準、確保可重現性，以及應對快速數學進展對社會的廣泛影響。透過將數學家置於這些討論的核心，OpenAI 希望塑造一個 AI 增強而非削弱科學過程的未來。
下一步
OpenAI 將與顧問小組密切合作，制定具體政策，用於審查、發表與授權 AI 生成的數學成果。與更廣泛數學社群的持續對話，將對完善這些政策，並應對新出現的倫理、教育與技術問題至關重要。
本文總結了 OpenAI 於 2026 年 9 月 21 日發布的官方公告。