“我们目前面临一个非常具体的挑战:需要为 OpenAI 提供咨询,帮助他们协调发布大量数学研究成果。这些成果据称是由 OpenAI 的内部模型产生的,”数学与人工智能咨询小组在成立声明中写道。
OpenAI 于周一宣布了该咨询小组的成立。该小组自 8 月 28 日开始训练一个新的内部数学模型,并在随后的声明中表示,该模型已经解决了数学领域中大多数领域的 100 多个长期未解决的问题。此外,OpenAI 本月早些时候还宣布了另一个重要的数学成果(即关于纳维-斯托克斯方程(Navier-Stokes equation)的突破性研究成果)。
据 OpenAI 称,该模型的发展速度令其内部的数学家们都感到惊讶,这引发了关于如何向数学界通报这一进展的讨论,以便整个数学界能够做好准备并作出相应的调整。不过,声明中并未具体列出这些被解决的数学问题。
该咨询小组由位于普林斯顿的高等研究院(Institute for Advanced Study, Princeton)主办,其官方网站为 agmai.org。小组的最初九名成员包括:François Charles(巴黎综合理工学院,ENS-PSL)、Camillo De Lellis(意大利高等科学研究所,IAS/GSSI)、Timothy Gowers(法兰西学院,Collège de France;剑桥大学)、Martin Hairer(洛桑联邦理工学院,EPFL;伦敦帝国理工学院,Imperial College London)、Nikhil Srivastava(伯克利大学;西蒙斯研究所,Simons Institute)、Ulrike Tillmann(牛津大学;伦敦数学研究所,INI)、Ravi Vakil(斯坦福大学)、Edward Witten(意大利高等科学研究所,IAS)以及 Melanie Matchett Wood(哈佛大学)。
据该小组透露,OpenAI 曾与部分成员讨论过成立一个外部咨询委员会的可能性,但最终这些成员决定成立一个独立的咨询小组,并邀请了其他专家加入。
关于该咨询小组的职责,OpenAI 表示:该小组将帮助评估新研究成果的重要性,并提供关于如何协调这些成果发布的建议;同时,它还将负责制定学术和职业标准,以及探讨 OpenAI 的工具如何能够更好地支持数学研究和学习。
据OpenAI称,该小组将独立运作。它可以提出公司未要求的建议,就OpenAI对数学的影响发表评论,并公开其建议。OpenAI不向成员支付报酬,该小组可以自行更换成员。
双方都有各自的限制。OpenAI写道,该小组“不会负责就如何把握我们在数学方面内部进展的节奏向我们提供建议”。该小组表示,它在任何AI公司都没有决策权,决策责任在于公司。它表示将公布其建议,并正在通过其网站上的表单向数学家征集意见。
在它之前的那封信中,OpenAI引用了最近的一封公开信《AI在数学中的严重错位》。在信中,数学家们对将解决未解问题作为AI系统基准表示担忧。据TechCrunch报道,有25位菲尔兹奖得主签署了那封信。据TechCrunch报道,德莱利斯是这个新小组中唯一签署了那封信的成员。
研究人员对The Verge表示,该小组是良好的第一步。许多人表示,他们仍有基本疑问:它将做什么,它会有多大影响力,以及OpenAI是否会听取意见。一些人还质疑,如此小规模的一群知名研究人员能否代表更广泛的数学界。