OpenAI 宣布三项重大科学发现以及与学术界合作的新方式

OpenAI 大规模发布数百份手稿（据称这些手稿包含了长期存在的数学问题的解决方案）不到一个月，又在数学、计算机科学和物理学领域带来了三项“重大”发现。这次的不同之处在于，选择让 OpenAI 称之为“牧羊人”的外部专家来指导计算机科学和物理学的结果，而对于数学问题，OpenAI 表示，他们建议 OpenAI 发布人工智能输出，供研究人员进行自己的解释。

> OpenAI 结果今天已添加到 GitHub： > 欧几里得波动方程的局部平滑。该证明使用辅助偏微分方程来建立索格对每个空间维度至少为 2 的波的局部平滑。它还产生了挂谷极大猜想和维数猜想以及整个猜想范围内部的斯坦因球形限制估计。我们将直接发布模型输出，就像我们在 10 月 6 日发布的版本中所做的那样。

> 指数时间假说是错误的。论文给出了一种确定性算法，可以精确计算次指数时间和多项式空间中固定宽度 CNF 公式的满足赋值。

3-SAT 的案例反驳了指数时间假说。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的一个由计算机科学家组成的独立工作组将检查并解释该证明。应该组织的要求，我们立即公开这些材料，以便其他人也可以检查它们。该公司承认，这种方法可能有其自身的问题，OpenAI 组成的 AGMAI 数学顾问小组昨天刚刚表示，“我们建议人工智能公司不要采用”指定某些人首先接收输出的做法，并指出了不平等的访问权、借来的声誉和有偏见的选择等问题。相反，他们建议未来人工智能实验室在学术存储库上发布成果，其中包括精益形式化证明、有关如何选择问题的信息、为致力于理解结果的人员提供资金以及其他信息。