OpenAI 周一宣布在新泽西州普林斯顿高等研究院 (IAS) 成立一个新的独立数学和人工智能咨询小组，并透露，根据其自身的统计，其有争议的纳维-斯托克斯结果背后的相同内部模型已经解决了大多数数学领域的 100 多个其他开放问题。

该小组的目的是在研究界对这些结果的发布方式公开感到沮丧之际，为数学家提供进入公司数学导向研究的正式渠道。 TechCrunch 援引 OpenAI 在其声明中的话说：“该小组将成为数学界和更广泛公众之间的桥梁，让数学家在我们如何前进方面拥有发言权。” 更多相关背景，请参阅我们的AI行业报道。

对纳维-斯托克斯强烈反对的回应

该咨询小组是在突然公布了一项声称能解决纳维-斯托克斯千年奖问题的解决方案之后成立的，这一结果因其雄心和发布速度而令数学家们震惊。在实践中，OpenAI 的新团队将主要发挥咨询作用：评估新结果的重要性并协调其发布，以便所谓的突破在背景和专家审查的情况下实现，而不是突然宣布。

审查并没有放松。 《科学美国人》周一发表了一篇文章，询问“OpenAI 是否解决了错误的纳维-斯托克斯问题？” ——这反映出即使在密切跟踪这一说法的科学记者中，这一说法仍然存在很大的不确定性。

许多著名数学家对最近更广泛的主张的疯狂步伐提出了质疑。本月早些时候，25 名菲尔兹奖得主数学家签署了一封公开信，认为人工智能实验室正在威胁数学家的智力工作，因为他们在解决著名问题上相互竞争。令人担忧的不是问题是否得到解决，而是一个有着数百年历史的谨慎、经过验证的出版文化正在被争相成为头条新闻的实验室所压制。

咨询权——有硬性限制

该小组的结构试图在独立性与 OpenAI 保持对其研究议程的控制的明确意图之间取得平衡。会员将不会获得报酬。他们可以主动提供建议、公开表达自己的观点并控制自己的会员资格——这些规定使该机构在一定程度上独立于创建该机构的公司。

但该组织无权放慢速度。正如 OpenAI 的帖子所言，“该小组不会负责就如何调整我们内部数学进展的速度提供建议。”

高等研究院在自己的声明中也强调了同样的观点。该研究所在一份声明中表示：“虽然我们会提供建议，但我们在任何人工智能公司都没有决策权，任何公司做出的决策的责任将由该公司承担。”

这种分工——未经授权的建议——是使合作成为可能的妥协。 IAS 在数学领域占有一席之地； OpenAI 保留着方向盘。

九名成员，与批评者几乎没有重叠

九名著名数学家被任命为该小组的初始成员。值得注意的是，只有其中一位——IAS 的 Camillo De Lellis——也在本月早些时候签署了菲尔兹奖得主的信函，这表明 OpenAI 并没有简单地招募最响亮的批评者。

这是否重要取决于该集团如何利用其平台。它的成员可以公开反对公司，而设计邀请他们这样做。一个从不表达异议的咨询机构将很快解决其价值问题。

为什么它很重要

这一声明是关于人工智能实验室应如何处理机器生成的科学主张的争论的最新热点。声称解决千年奖问题的模型是一个非凡的断言，数学界的核心抱怨是程序性的：如此大规模的结果应该得到验证和有针对性的发布，而不是新闻周期的公告。

验证是真正的瓶颈。需要模型几天才能生成的证明可能需要人类专家几个月的时间来检查，并且数学没有针对这种不对称性设计的同行评审基础设施。这正是该小组的任务——评估重要性和协调发布——旨在解决的问题，至少在原则上是这样。

OpenAI 的举动承认了这些批评，但并未放弃控制权。该组织可以提供合法性，协调结果的呈现方式，并为外部人士提供一个公共平台，但该公司保留对其模型追求的目标和速度的完全权力。解决了 100 多个问题的声明现在由一个可以决定其宣布方式的机构负责，而不是决定其是否被制作。

数学家是否将咨询小组视为有意义的检查或遮羞布，将取决于接下来发生的情况：下一个重大主张是否会得到该小组的认可，更重要的是，是否有社区可以实际验证的证据。

---

掌握AI最新动态

获取最新的AI新闻、分析和突破——尽在一处。

阅读更多AI新闻 →