返回 文章 学习 CMS 文章

OpenAI 宣布三项科学发现,并推出与学术界合作的新方式

OpenAI 发布三项科学突破,并尝试用外部专家引导验证,探索 AI 与学术合作新范式。

OpenAI科学发现AI 研究学术合作
成长分 / 100 68 综合收获、行动、留存与影响

OpenAI 宣布三项科学发现,并推出与学术界合作的新方式
为什么值得读了解 OpenAI 在数学、计算机科学和物理学领域的最新 AI 驱动发现。

洞察 AI 公司与学术界合作验证成果的新模式及其争议。

关键洞察
  1. OpenAI 发布了三项“重大”发现:数学中的局部平滑猜想证明、计算机科学中指数时间假设(ETH)被证伪、物理学中四个维度相互作用量子场论的严格存在性证明。
  2. 与以往不同,OpenAI 引入外部专家作为“牧羊人”引导计算机科学和物理学结果的验证,数学问题则建议直接发布 AI 输出供研究者自行解释。
  3. 计算机科学结果由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 等专家组成的独立工作组审查,AI 输出和 Lean 证明已在 GitHub 公开。
转成行动

深入阅读

正文与原文对照

原文保真覆盖:全文原文字符:5199

在大规模发布数百篇手稿(据称其中包含长期悬而未决的数学问题的解答)不到一个月后,OpenAI 又带来了数学、计算机科学和物理学领域的另外三项“重大”发现。这次的不同之处在于,OpenAI 选择让被其称为“shepherds”的外部专家在计算机科学和物理学领域引导这些成果,而对于数学问题,OpenAI 表示专家建议其发布 AI 输出,让研究人员自行推导解释。

OpenAI 的成果已于今日添加到 GitHub:

欧几里得波动方程的局部平滑。该证明使用一个辅助偏微分方程,在至少二维的每个空间维度上建立了 Sogge 的波局部平滑。它还导出了 Kakeya 极大猜想和维数猜想,以及 Stein 球面限制估计在猜想范围内部各处的成立。我们直接发布模型输出,正如我们在 10 月 6 日发布中所做的那样。

指数时间假设为假。该论文给出了一种确定性算法,可在亚指数时间和多项式空间内精确计算固定宽度 CNF 公式的满足赋值。3-SAT 的情形反驳了指数时间假设。一个由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的独立计算机科学家工作组将审查并解释该证明。应工作组的要求,我们立即公开这些材料,以便其他人也能审查。

该公司承认,这种方法本身也可能存在问题,而 OpenAI 组建的数学顾问小组 AGMAI昨天刚刚表示,“我们建议 AI 公司不要采用”指定某些人优先获得输出的做法,并列举了获取机会不平等、借用声誉和选择有偏见等几个问题。相反,他们建议未来 AI 实验室在学术存储库上发布输出,附带 Lean 形式化的证明、问题如何被选择的信息、为致力于理解结果的人员提供资助,以及其他信息。

物理学信息尚未完整发布,但它是“一个数学上严格的、关于四维中包含规范场和费米子的某些相互作用量子场论的存在性证明,包括量子色动力学(QCD)以及粒子物理学标准模型的统一完备化。”据 OpenAI 称,“David Gross 将领导一个包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 在内的小组来引导这项工作。”

据称,这项计算机科学合作证明了指数时间假设(ETH)实际上是错误的,而此前人们普遍认为它是正确的。OpenAI 表示,该结果的验证将由一个三人专家小组指导,其中包括加州大学圣地亚哥分校的 Russell Impagliazzo 和 Ramamohan Paturi——他们是最初于 1999 年提出该假设的团队成员——以及麻省理工学院教授Ryan Williams。该小组决定今天在 GitHub 上发布 AI 输出的书面报告和 Lean 证明。

他们还发布了一封公开信,向社区征求关于如何审查这一主张以及如何制定处理 AI 生成突破的规范的意见:

我们欢迎就三个更广泛的问题展开讨论:

应当以何种期望来规范对 AI 生成结果的早期获取、利益冲突的披露,以及将未发表材料用于后续研究?

应如何给予认可,既承认新发现,也承认检查、修正、简化、解释和扩展这些发现的工作?

在方法和研究方向发生变化时,我们如何支持学生和研究人员,同时保留质疑结果和发展新想法所需的理解力和判断力?

数学突破也有类似的文档,其中其模型“给出了每个维度上局部平滑猜想的证明,因此也解决了所有维度上的 Kakeya 猜想和 Stein 限制猜想。”就在几个月前,纽约大学教授 Hong Wang 因解决三维 Kakeya 猜想而被国际数学联盟授予著名的菲尔兹奖。