OpenAI 宣布数学、计算机科学与物理三项重大发现，并与外部专家合作验证
OpenAI announces three big science discoveries and a new way to work with academics
OpenAI 宣布三项涉及数学、计算机科学和物理的重大发现，包括证明局部光滑猜想、反驳指数时间假说（ETH），以及涉及 QCD 的量子场论存在性证明。
同一件事，精选收录的是《OpenAI 宣布 AI 模型取得三项科学突破，涉及局部光滑猜想、指数时间假设与杨–米尔斯理论》
不到一个月前，OpenAI 大规模发布了数百份手稿，称其中包含长期悬而未决的数学问题的解答；如今它又回来了，带来了数学、计算机科学和物理学领域的另外三项“重大”发现。这次的不同之处在于，OpenAI 选择让外部专家——它称之为“牧羊人”——来引导计算机科学和物理学领域的成果；而对于那道数学问题，它表示专家建议其直接发布 AI 输出，让研究人员自行推导解释。
欧几里得波动方程的局部光滑性。该证明借助一个辅助偏微分方程，在空间维数至少为二的所有情形下建立了 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 年最初提出该假说的小组成员；该小组决定今天在 GitHub 上发布 AI 输出的书面说明和 Lean 证明。
数学突破也有类似的文档，其中提到该模型“给出了局部平滑猜想在所有维度下的证明，从而也解决了所有维度下的挂谷猜想和 Stein 限制性猜想”。就在几个月前，纽约大学教授王虹因解决三维挂谷猜想，被国际数学联盟授予了颇具声望的菲尔兹奖。
关注本报道的话题和作者，即可在个性化首页信息流中看到更多类似内容，并接收邮件更新。
- Richard Lawler
来源：The Verge：AI · theverge.com