在其大规模发布数百份手稿并称其中包含长期悬而未决的数学问题的解决方案后不到一个月，OpenAI 又带来了数学、计算机科学和物理学领域的另外三项“重大”发现。这次的不同之处在于，OpenAI 选择让被其称为“牧羊人”的外部专家在计算机科学和物理学领域引导结果，而对于数学问题，OpenAI 表示专家建议其发布 AI 输出，让研究人员自行推导解释。
欧几里得波动方程的局部光滑性。该证明使用一个辅助偏微分方程，在至少二维的每个空间维度上建立了 Sogge 的波局部光滑性。它还推导出了 Kakeya 极大与维数猜想，以及 Stein 球面限制估计在猜想范围内的整个内部区域。我们直接发布模型输出，与我们在 10 月 6 日发布时的做法相同。
指数时间假说为假。该论文给出了一种确定性算法，可在亚指数时间和多项式空间内精确计数固定宽度 CNF 公式的可满足赋值。3-SAT 的情形反驳了指数时间假说。一个由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的独立计算机科学家工作组将审查并解释该证明。应工作组的要求，我们立即公开相关材料，以便其他人也能审查。
该公司承认，这种方法本身可能存在问题，而AGMAI 数学顾问小组由 OpenAI 组建昨天刚刚表示“我们建议 AI 公司不要采用”指定某些人优先获得输出的做法，并列举了获取不平等、借用声誉和选择有偏等问题。相反，他们建议未来 AI 实验室在学术存储库上发布输出，附上 Lean 形式化的证明、问题如何被选择的信息、为理解结果而工作的人员提供资助，以及其他信息。
物理学信息尚未完整公布，但它是“一个数学上严格的存在性证明，涉及四维中包含规范场和费米子的某些相互作用量子场论，包括量子色动力学（QCD）以及粒子物理学标准模型的统一完备化。”据 OpenAI 称，“David Gross 将领导一个包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 在内的小组来指导这项工作。”
据称，这项计算机科学合作证明了指数时间假设（ETH），这一长期以来被广泛认为成立的观点实际上是错误的。OpenAI 表示，该结果的验证将由一个三人专家小组指导，其中包括加州大学圣地亚哥分校的 Russell Impagliazzo 和 Ramamohan Paturi，他们是最初提出该假设的团队成员之一于 1999 年，以及麻省理工学院教授Ryan Williams。该小组决定发布 AI 输出的书面报告和 Lean 证明于今日在 GitHub 上。
他们还发布了一封公开信向社区征询意见，讨论如何审查这一主张，以及如何为处理 AI 生成的突破设定规范：
我们欢迎就三个更广泛的问题展开讨论：
应当以怎样的预期来规范对 AI 生成结果的早期获取、利益冲突的披露，以及将未发表材料用于后续研究？
应如何分配认可，既承认新发现，也承认检查、修正、简化、解释和扩展这些发现的工作？
在方法和研究方向发生变化时，我们如何支持学生和研究人员，同时保留质疑结果和提出新想法所需的理解力和判断力？
还有类似的文档针对数学突破，其模型“在每一维度上都给出了局部光滑猜想的证明，从而也在所有维度上解决了 Kakeya 猜想和 Stein 限制猜想。”就在几个月前，纽约大学教授 Hong Wang 因解决三维 Kakeya 猜想而被授予一项享有盛誉的菲尔兹奖由国际数学联盟颁发。
关注话题和作者从这篇报道出发，在你的个性化主页信息流中查看更多类似内容，并接收邮件更新。
- Richard Lawler