OpenAI 公布三项重大科学发现，推出与学术界合作的全新模式

（AI云资讯消息）OpenAI此前大规模发布了数百份手稿，称其中包含若干长期悬而未决数学难题的解法。不到一个月后，该公司再度公布三项分别来自数学、计算机科学与物理学领域的重大发现。本次的不同之处在于：OpenAI 安排了它称之为引导人的外部专家，对计算机科学和物理学方向的成果进行把关；而针对数学问题，据其介绍，这些专家建议它直接放出 AI 生成内容，交由研究人员自行推导、完善对应的证明解释。

OpenAI 今日已将相关成果上传至 GitHub：

欧几里得波动方程的局部光滑性

该证明借助一条辅助偏微分方程，对所有空间维数≥2 的波动，证得 Sogge 局部光滑性。同时，在猜想区间的全部内部范围，该成果还可推出 Kakeya 极大猜想、Kakeya 维数猜想以及 Stein 球面限制估计。

指数时间假设不成立

论文给出一种确定性算法，能够在次指数时间、多项式空间内，精确计数固定宽度 CNF 公式的可满足赋值。其中 3-SAT 情形推翻了指数时间假设。由拉塞尔・因帕利亚佐（Russell Impagliazzo）、拉马莫汉・帕图里（Ramamohan Paturi）、瑞安・威廉姆斯（Ryan Williams）牵头的独立计算机科学家工作组，将核验并解读这份证明。

OpenAI 也承认，这套方式本身也可能存在问题。10月26日，由该公司组建的数学顾问小组 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）。该小组决定于10月27日在 GitHub 上发布 AI 生成的文稿与 Lean 形式化证明。

他们同时向学界发布了一封公开信，征集意见，探讨该如何核验这类研究结论，以及为 AI 生成的突破性成果建立处理规范：

“我们欢迎学界围绕三个宏观问题展开讨论：应当以何种准则约束 AI 生成成果的优先访问权限、利益冲突披露，以及未公开成果在后续研究中的使用？署名与荣誉该如何兼顾新发现本身，以及核验、修正、简化、阐释、拓展该成果的工作？在研究方法与研究方向发生变革的过程中，我们该如何支持学生与研究者，同时保留质疑结论、开拓新思路所必需的理解能力与判断力？”

数学领域突破性成果也附有同类说明：该模型给出了任意维数下局部光滑性猜想的证明，由此一并解决所有维数的Kakeya猜想与Stein限制猜想。就在短短数月前，纽约大学教授王虹（Hong Wang）因证明三维情形下的Kakeya猜想，被国际数学联盟授予极具分量的菲尔兹奖。