OpenAI 公布数学、计算机科学与物理三项发现，并让外部专家把关

在其宣称包含解决长期数学问题的数百篇手稿的大规模发布不到一个月后，OpenAI 再次带来了数学、计算机科学和物理学领域三项“重大”发现。这次的不同之处在于选择让 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 表示，结果的验证将由包括 UC San Diego 的 Russell Impagliazzo 和 Ramamohan Paturi 在内的三位专家小组指导，他们曾是 1999 年最初提出该猜想的小组成员，以及 MIT 教授Ryan Williams。该小组决定今天发布 AI 输出概述和 Lean 证明在 GitHub 上。

他们还发布了一封公开信给社区，征求关于如何审查该主张以及关于处理AI生成突破的规范的意见：

我们欢迎对以下三个更广泛问题的讨论：

早期访问 AI 生成结果、利益冲突披露以及未发表材料后续研究的使用应受哪些期望的规范？

如何使信用既承认新的发现，也认可检查、修复、简化、解释和扩展这些发现的工作？

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

There’s similar documentation for the math breakthrough, where its model “produced a proof of the local smoothing conjecture in every dimension and therefore also resolve the Kakeya conjecture and Stein’s restriction conjecture in all dimensions.” Just a few months ago, NYU professor Hong Wang was awarded a prestigious Fields Medal by the International Mathematical Union for resolving the Kakeya conjecture in three dimensions.

关注本故事中的主题和作者，以在您的个性化主页信息流中看到更多类似内容，并接收电子邮件更新。

• 理查德·劳勒