OpenAI 聘请了九位杰出的数学家,就其展示和发布 AI 生成的数学结果的方式提供建议。

该公司表示,该小组对其研究进度没有发言权。

普林斯顿高等研究院主办该无薪小组

该小组名为“数学与人工智能顾问小组”。它由新泽西州普林斯顿的高等研究院主办,在线地址为 agmai.org。

根据 OpenAI 的博客文章,该小组帮助公司评估新结果的重要性,并协调其发布的时间和方式。它还将其与该领域的学术和专业规范进行权衡,并就如何利用 OpenAI 的工具为在职数学家服务提供建议。

OpenAI 写道,该小组“将不负责就我们如何控制数学内部进展的速度向我们提供建议”。

OpenAI 于 8 月 28 日开始训练一个新的内部模型。该公司表示,该模型此后解决了数学大多数分支中超过 100 个长期存在的未解问题,并声称解决了 Navier-Stokes 千禧年大奖难题。

初始成员包括来自 ENS-PSL 的 François Charles、来自 IAS 和 GSSI 的 Camillo De Lellis、来自法兰西公学院和剑桥大学的 Timothy Gowers、来自 EPFL 和帝国理工学院的 Martin Hairer,以及来自伯克利大学和西蒙斯研究所的 Nikhil Srivastava。

名单还包括来自牛津大学和 INI 的 Ulrike Tillmann、斯坦福大学的 Ravi Vakil、IAS 的 Edward Witten 以及哈佛大学的 Melanie Matchett Wood。

几位成员自己就拥有菲尔兹奖。该团体在数学家陶哲轩的博客上发表的一篇客座文章中称,OpenAI 曾联系其中一些人组建外部顾问委员会,但他们反而组建了一个独立团体并邀请其他人加入。

成员不从 OpenAI 领取报酬,并自行设定其成员资格。

他们可以发出未经请求的建议。他们可以公开评论该公司的影响。

该团体表示,它将向任何其模型可能重塑该领域的 AI 实验室提供同样的建议。

“虽然我们将提供建议,但我们不对任何 AI 公司拥有决策权,任何公司所做决策的责任将由该公司承担。”

该团体在其网站上表示。其当前工作是就如何发布其内部模型产生的大量结果向 OpenAI 提供建议。

25 位菲尔兹奖得主于 9 月 11 日警告 AI 实验室

9 月 11 日,25 位菲尔兹奖得主发起了一封名为《数学中 AI 的严重错位》的公开信。信中指出,竞相解决著名问题的 AI 实验室使数学家的智力工作面临风险。

该宣言目前列出了 27 位奖章得主和超过 7,800 名支持者。

OpenAI 直接引用了这封信,将批评作为更深思熟虑地参与社区的理由。

九位顾问中有三位签署了该宣言。Martin Hairer 以菲尔兹奖得主身份签署,Camillo De Lellis 和 Ravi Vakil 则予以支持。

该顾问小组是在 OpenAI 的数学主张引发争议数周后成立的。正如 Cryptopolitan 在 9 月 8 日报道的那样,OpenAI 称其内部模型显示了强制 Navier-Stokes 方程的有限时间爆破,并在 Lean 证明验证语言中得到了验证。

几天前,纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 发表了相关的爆破结果。但 Buckmaster 表示,他被告知 OpenAI 的证明中“几乎没有人类输入”,他说这一说法在与该公司的一次通话中不攻自破。

Buckmaster 写道,整个团队都在研究这个问题,并且包括欧拉方程在内的较简单案例是先解决的。他补充说,向他展示的提示本身是通过提示 Codex 生成的。

处于此次交锋中心的 OpenAI 研究员 Sébastien Bubeck 称这些指控是“虚假且煽动性的”。他否认使用了数学家的提示或证明。

OpenAI 表示,它不打算领取克雷数学研究所的 100 万美元奖金。

不要只是阅读加密货币新闻。要理解它。订阅我们的通讯。它是免费的。