在一系列数学成果引发声誉危机后,OpenAI正在向人类数学家寻求建议,希望找到一条不那么灾难性的前进道路。

周一,该公司宣布成立一个新的独立小组,由数学家组成,负责就OpenAI及其他AI公司如何与数学研究界互动提供建议,包括如何呈现和发布新成果。这一小组的突然出现让许多数学家感到意外。研究人员告诉The Verge,这个小组是一个良好的开端,但许多人仍有基本疑问:它究竟会做什么、能有多大影响力、OpenAI是否真的会听取建议,以及这样一个规模不大的知名研究者团体能否代表更广泛的数学界。

这个九人小组汇聚了研究人员口中该领域的"明星"人物,成员来自斯坦福大学、哈佛大学、牛津大学、剑桥大学等机构,其中不乏菲尔兹奖和麦克阿瑟"天才奖"得主。该小组将由普林斯顿高等研究院(IAS)主持,这是全球最受尊崇的数学研究中心之一,也是阿尔伯特·爱因斯坦、约翰·冯·诺依曼和J·罗伯特·奥本海默等人物曾经的学术家园。

OpenAI表示,这个名为"数学与人工智能顾问组"(AGMAI)的小组将独立运作,有权提出未经OpenAI要求的建议,公开评论其对数学的影响,并可公开发布建议内容,不过公司并未详细说明这可能涉及哪些内容。据悉,该小组将获得OpenAI研究成果的早期访问权限以完成其任务。成员不会从OpenAI获得报酬,小组可以自行决定成员变动。OpenAI表示:"它的价值取决于成员能否运用自己的判断,并对我们提出质疑。该小组将就新兴成果的审查和沟通提供建议:帮助OpenAI评估其重要性,就如何协调发布进行建议,并就数学研究的学术和专业标准提供建议。它还将就我们的工具如何支持数学研究和学习提供建议。"

尽管强调独立性,但这个小组究竟能有多大实际影响力,以及它最初为何成立,仍不明朗。瑞士苏黎世联邦理工学院研究员西蒙·马查多表示,整件事似乎"笼罩在迷雾之中",他质疑这九名成员是如何被选出的。该小组的简陋网站上写道,它"是在OpenAI接触了部分成员,提议成立一个外部顾问委员会之后成立的",但经过与该公司的讨论,数学家们决定成立一个独立小组,并邀请其他人加入。目前尚不清楚哪些成员最初是被OpenAI接触的,也不清楚其余成员是如何被选出的。

在周二发布的一篇博文中,顾问组成员马丁·海勒详细阐述了该小组的起源和思路,回应了他所称的围绕该小组成立而出现的"大量错误信息"。他写道:"人工智能显然已经对数学研究产生了深远影响,并引发了关于思想归属、优先权、人类对思想的理解等诸多问题",并补充说,数学界不应"采取强硬的'鸵鸟'态度,出于原则拒绝理睬AI实验室、拒绝与他们对话"。

海勒承认该小组是应OpenAI的接触而成立的,但他强调并非所有成员都被该公司联系过,最终成立的组织"真正独立于OpenAI以及其他所谓的'前沿'AI实验室"。他表示,除了"显而易见的保密要求"外,成员们并未签署任何限制其公开言论的协议,他们也没有获得任何经济报酬,只是依靠高等研究院提供技术支持。

海勒是伦敦帝国理工学院和瑞士洛桑联邦理工学院的数学教授,他写道:"另一个基本事实是,我们的总体目标是尽我们所能代表数学界的利益。"他同时指出,该小组几乎算不上是数学界的代表性样本,但他表示"完全确信我们九个人都在极其认真地对待此事,并出于善意行事"。

不管成员是如何被选出的,这个小组目前是由一批精英学术数学家组成的。其规模之小进一步引发了人们的疑问:考虑到在数学前沿工作所需的高度专业化技能和知识,该小组是否具备足够广泛的专业知识来评估所有涌来的成果。

苏格兰赫瑞瓦特大学即将上任的数学教授弗朗切斯科·富尼耶-法乔表示,他对这个小组感到相当"矛盾",称与数学家的更多接触"只会让情况变得更好"。但他质疑这个小组是否完全反映了那些工作和生计正因OpenAI追逐数学奖杯而被颠覆的群体。他告诉The Verge:"这感觉像是一座象牙塔。"

马查多同样质疑该小组成员是否完全理解、或者能否代表更广泛数学界在AI问题上的关切。他说:"他们是了不起的数学家,但我不知道他们是否是我希望在更具政治性的问题上代表我的人。"马查多表示,对于处于他们那种精英地位的数学家而言,"我认为他们所面对的现实,与大多数数学家目前所面对的现实非常不同"。

这个小组能否赢得数学家的信任,最终将决定它在遏制OpenAI近期一系列公告失误所造成的余波方面能有多大成效,更重要的是,能否为该公司接下来打算宣布的任何内容缓冲冲击。海勒在博客中写道,如果成员们相信AI实验室不会试图以适合其公关机器的方式,来曲解他们所说的任何话,那就未免太天真了,"而这种公关机器的规模远超我们所能拿出的任何东西"。

尽管如此,海勒认为,既然OpenAI似乎正在做出努力,尤其是在该公司的行为和沟通不力受到如此多批评之后,此时不参与就未免虚伪。他表示,该小组尚未就打算提供的建议达成一致,但存在一个明确需要应对的问题:"事实是,AI公司近几个月来一直在产出一些备受瞩目的数学成果,而这些成果的发布和传播方式,无论用何种标准衡量,都远未达到可接受的数学实践规范。"

目前,海勒表示,该小组正通过与同行的交流、一份公开反馈表,以及在"证明与提示"(Proofs and Prompts)博客上的讨论来收集意见,这个博客已经成为数学家们思考AI对该领域影响的重要论坛。

但该小组面临的最大挑战可能还在后面。在宣布成立顾问小组时,OpenAI顺带透露了一个消息:其尚未发布的新模型——也就是解决了纳维-斯托克斯千禧年大奖难题的那个模型——如今"已解决了数学各主要领域中100多个悬而未决的长期难题"。此前该公司还曾表示,正在逼近另一个千禧年大奖难题。该小组在其网站上表示,处理这一积压问题是其首要任务:"我们目前正面临一个非常具体的挑战:如何建议OpenAI协调发布大量重要数学成果,据该公司称,这些成果是由其内部模型产出的。"

在某种程度上,这一新的数学家参与举措,是对此前那次公关灾难的一种承认。当时该公司发现自己被指控抢走了研究人员的成果、未能对其模型所依托的人类工作给予署名,甚至被指从模型使用者那里窃取成果。这些争议让许多数学家开始怀疑,该公司是否理解——甚至是否尊重——它闯入的这个学科和社群。

在过去几个月里,以及在关于数学家真正想要什么的诸多论述之后,伦敦帝国理工学院数学教授凯文·巴泽特想知道,为什么OpenAI觉得需要如此精英化的一个团体来理解数学界想要什么。他说:"人们想要的不是攻克难题的证明,而是对我们这门学科更深入的理解。对我来说,并不十分清楚是否需要一个由杰出人才组成的委员会来反复强调这一点。"

Q&A

Q1:OpenAI为什么要组建数学顾问团?

A:因为OpenAI此前发布的一系列数学成果引发了严重的声誉危机,被指控抢占研究人员成果、未给予人类工作应有署名,甚至涉嫌抄袭使用者成果,因此该公司希望通过咨询专业数学家来改善其发布和沟通方式。

Q2:数学与人工智能顾问组(AGMAI)由哪些人组成?

A:这个九人小组由该领域的知名学者组成,成员来自斯坦福大学、哈佛大学、牛津大学、剑桥大学等机构,其中包括多位菲尔兹奖和麦克阿瑟"天才奖"得主,由普林斯顿高等研究院主持。

Q3:数学家们对这个顾问团有什么担忧?

A:一些数学家担心该团体规模太小,无法代表广泛的数学界利益,也质疑其成员能否真正理解普通数学家面临的现实困境,认为该小组更像是"象牙塔"式的精英团体,而非广泛代表性组织。

The Verge