大规模发布数百份手稿、声称其中包含长期数学问题解决方案后不到一个月，OpenAI又带着数学、计算机科学和物理学领域的三项“重大”发现回来了。这一次，该公司决定让外部专家——它称之为“牧羊人”——来指导计算机科学和物理学领域的成果。对于数学问题，OpenAI表示，它被建议直接发布AI输出，以便研究人员自行研究解释。因为没有什么比众包同行评审更能体现“科学严谨性”了。

据OpenAI称，数学突破是“欧几里得波动方程局部平滑”的证明。该证明使用一个辅助偏微分方程来建立Sogge的局部平滑性，适用于每个空间维度至少为二的波。它还推导出了Kakeya极大猜想和维数猜想，以及Stein球面限制估计在猜想范围内的内部成立。OpenAI直接发布模型输出，就像其在10月6日发布时那样。就在几个月前，纽约大学教授王虹因解决三维Kakeya猜想而获得国际数学联盟颁发的著名菲尔兹奖。现在，一个AI说它在所有维度上都做到了。目前还没有消息说奖牌是否附带固件更新。

计算机科学的结果更加大胆：一篇题为“指数时间假说是错误的”的论文。该论文给出了一种确定性算法，可以在亚指数时间和多项式空间内精确计算固定宽度CNF公式的可满足赋值。3-SAT的情况反驳了指数时间假说（ETH）。由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams领导的独立计算机科学家工作组将审查并解释该证明。应工作组的要求，OpenAI立即公开材料，以便其他人也能审查。Impagliazzo和Paturi是1999年最初提出ETH的小组成员——所以至少房间里有人记得这个假说曾被认为是正确的。

物理学信息尚未完全发布，但OpenAI将其描述为“某些包含四维规范场和费米子的相互作用量子场论的数学严格存在性证明，包括量子色动力学（QCD）和粒子物理学标准模型的统一完成。”David Gross将领导一个包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov在内的小组来指导这项工作。因为没有什么比隐瞒完整细节并请来诺贝尔奖得主更能体现“我们很有信心”了。

OpenAI承认这种方法可能有其自身的问题。OpenAI组建的AGMAI数学顾问小组昨天刚表示，“我们建议AI公司不要采用”指定某些人首先获得输出的做法，理由包括访问不平等、借用声誉和选择偏见等问题。相反，他们建议未来AI实验室在学术存储库上发布输出，附带Lean形式化证明、问题选择方式的信息、资助理解结果的人员以及其他信息。换句话说：也许不要把突破性科学当作VIP预售。

计算机科学小组决定今天在GitHub上发布AI输出报告和Lean证明。他们还发布了一封致社区的公开信，征求关于如何审查该主张以及如何设定处理AI生成突破的规范的意见。信中提出了三个更广泛的问题：什么样的期望应该指导AI生成结果的早期访问、利益冲突的披露以及将未发表材料用于后续研究？如何认可新发现以及检查、修复、简化、解释和扩展它们的工作？我们如何支持学生……