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 的工具如何支持数学研究与学习提供建议。






