OpenAI sets up independent Advisory Group on Mathematics and AI at the Institute for Advanced Study
The unpaid, nine-member panel is housed at Princeton's Institute for Advanced Study and includes three Fields Medalists. OpenAI separately disclosed an internal model trained since August 28 has cracked more than 100 long-standing open math problems, including the Navier-Stokes Millennium Prize.
OpenAI 当地时间 9 月 22 日宣布成立独立的「数学与人工智能顾问组」(Advisory Group on Mathematics and Artificial Intelligence,下称 AGMAI),常驻普林斯顿高等研究院(IAS)。顾问组首批 9 名成员包括 François Charles、Camillo De Lellis、Timothy Gowers、Martin Hairer、Nikhil Srivastava、Ulrike Tillmann、Ravi Vakil、Edward Witten 与 Melanie Matchett Wood,其中 Gowers、Hairer 与 Witten 为菲尔兹奖得主;Charles、Hairer 与 Witten 同时还是 Abel 奖或 Breakthrough 奖得主。
AGMAI 将独立运作,成员不从 OpenAI 领取薪酬,可主动提出未被委托的建议、公开评价 OpenAI 在数学领域的影响,并自行调整成员构成。顾问组负责协助评估 AI 产生的新数学成果的学术价值、协调对外披露流程,并为 AI 工具赋能数学科研设定学术与专业标准;不介入 OpenAI 内部数学研究的推进节奏。Camillo De Lellis 是此前 25 位菲尔兹奖得主联署「数学中人工智能的严重错位」公开信的唯一签名成员。
公告同时披露,OpenAI 自 8 月 28 日开始训练的一款内部模型在 24 天内攻克了超过 100 个长期悬而未决的开放数学难题,涉及数学多个主要领域,其中包括纳维-斯托克斯方程这一千禧年大奖。公司称这一进展「超出内部数学家的预期」,引发关于如何向学术界通报成果的内部讨论。OpenAI 表示 AI 在数学领域的发现具有广泛的应用潜力,公司将以审慎稳妥的方式探索规模化落地路径。
数学家 Martin Hairer 在 Proofs and Prompts 博客撰文称,AGMAI 是「真正独立」的顾问组,仅依赖 IAS 提供技术支持,并无限制性言论协议。AGMAI 的首要任务是为 OpenAI 公布的「大量重要数学结果」协调对外披露方式。