OpenAI 宣布三项重大科学发现以及与学术界合作的新方式
资讯概览
本篇资讯源自 The Verge AI，报道了关于 OpenAI 宣布三项重大科学发现以及与学术界合作的新方式（英文原文：OpenAI announces three big science discoveries and a new way to work with academics）的最新国外 AI 科技动态。
- 媒体来源：The Verge AI
- 发布时间：2026/10/27 07:34:58
- 资讯分类：国外 AI 资讯
详细内容 (中文翻译)
- 科学
这次 OpenAI 表示，它正在听取科学家关于如何发布结果的新建议。
这次 OpenAI 表示，它正在听取科学家关于如何发布结果的新建议。
- 分享
OpenAI 大规模发布数百份手稿（据称这些手稿包含了长期存在的数学问题的解决方案）不到一个月，又在数学、计算机科学和物理学领域带来了三项“重大”发现。这次的不同之处在于，选择让 OpenAI 称之为“牧羊人”的外部专家来指导计算机科学和物理学的结果，而对于数学问题，OpenAI 表示，他们建议 OpenAI 发布人工智能输出，供研究人员进行自己的解释。
OpenAI 结果今天已添加到 GitHub：欧几里德波动方程的局部平滑。该证明使用辅助偏微分方程来建立索格对每个空间维度至少为 2 的波的局部平滑。它还产生了挂谷极大猜想和维数猜想以及整个猜想范围内部的斯坦因球形限制估计。我们将直接发布模型输出，就像我们在 10 月 6 日发布的版本中所做的那样。指数时间假设是错误的。论文给出了一种确定性算法，可以精确计算次指数时间和多项式空间中固定宽度 CNF 公式的满足赋值。 3-SAT 的案例反驳了指数时间假说。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的一个由计算机科学家组成的独立工作组将检查并解释该证明。应该组织的要求，我们立即公开这些材料，以便其他人也可以检查它们。
OpenAI 结果今天已添加到 GitHub：
欧几里德波动方程的局部平滑。该证明使用辅助偏微分方程来建立索格对每个空间维度至少为 2 的波的局部平滑。它还产生了挂谷极大猜想和维数猜想以及整个猜想范围内部的斯坦因球形限制估计。我们将直接发布模型输出，就像我们在 10 月 6 日发布的版本中所做的那样。
指数时间假说是错误的。论文给出了一种确定性算法，可以精确计算次指数时间和多项式空间中固定宽度 CNF 公式的满足赋值。 3-SAT 的案例反驳了指数时间假说。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的一个由计算机科学家组成的独立工作组将检查并解释该证明。应该组织的要求，我们立即公开这些材料，以便其他人也可以检查它们。
该公司承认，这种方法可能有其自身的问题，OpenAI 组成的 AGMAI 数学顾问小组昨天刚刚表示，“我们建议人工智能公司不要采用”指定某些人首先接收输出的做法，并指出了不平等的访问权、借来的声誉和有偏见的选择等问题。相反，他们建议未来人工智能实验室在学术存储库上发布成果，其中包括精益形式化证明、有关如何选择问题的信息、为致力于理解结果的人员提供资金以及其他信息。
-“纯粹的疯狂”：数学家需要数年时间才能理解 OpenAI 的最新跌幅
- 围绕人工智能接管数学的所有戏剧
这些物理信息尚未完全公开，但它是“某些包含规范场和四维费米子相互作用的量子场论的数学严格存在证明，包括量子色动力学（QCD）和粒子物理标准模型的统一完成。”据 OpenAI 称，“David Gross 将领导一个由 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 组成的团队来领导这项工作。”
据说，计算机科学合作证明了被广泛认为正确的指数时间假说（ETH）实际上是错误的。 OpenAI 表示，结果验证将由三名专家组成的小组指导，其中包括加州大学圣地亚哥分校的 Russell Impagliazzo 和 Ramamohan Paturi（他们是 1999 年最初提出该结果的小组的成员），以及麻省理工学院教授 Ryan Williams。该小组决定今天在 GitHub 上发布人工智能输出文章和精益证明。
他们还向社区发布了一封公开信，征求有关如何审查这一主张以及制定处理人工智能突破的规范的意见：
我们欢迎讨论三个更广泛的问题：对人工智能生成的结果的早期获取、利益冲突的披露以及后续研究中未发表材料的使用应该有什么期望？信用应该如何认可新发现以及检查、修复、简化、解释和扩展它们的工作？随着方法和研究方向的变化，我们如何支持学生和研究人员，同时保留质疑结果和开发新想法所需的理解和判断？
我们欢迎讨论三个更广泛的问题：
对于人工智能生成的结果的早期获取、利益冲突的披露以及后续研究中未发表材料的使用，应该有哪些期望？
信用应该如何认可新发现以及检查、修复、简化、解释和扩展这些发现的工作？
随着方法和研究方向的变化，我们如何支持学生和研究人员，同时保留质疑结果和发展新想法所需的理解和判断？
对于数学突破也有类似的文档，其模型“在每个维度上都产生了局部平滑猜想的证明，因此也解决了在所有维度上的挂谷猜想和斯坦因限制猜想。”就在几个月前，纽约大学教授王宏因解决了三维挂谷猜想而被国际数学联盟授予享有盛誉的菲尔兹奖。
——理查德·劳勒
开放人工智能
科学
更多内容：围绕人工智能接管数学的所有戏剧
最受欢迎
微软向 60,000 名员工提供买断计划
苹果更新了 iPad Mini，配备了更大的 OLED 显示屏
彼得（蒂尔）的福音
苹果在屏幕破裂报道后承认 iPhone Duo 显示“问题”
