OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关

在声称其数百份手稿包含长期悬而未决的数学问题解答的大规模发布后不到一个月，OpenAI又带来了数学、计算机科学和物理学领域的另外三项“重大”发现。这次的不同之处在于，OpenAI选择让外部专家——其称之为“牧羊人”——在计算机科学和物理学领域引导结果，而对于数学问题，它表示专家建议其发布AI输出，供研究人员自行推导解释。

该公司承认，这种做法本身可能存在问题，而OpenAI组建的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。该小组决定今天在GitHub上发布AI输出的书面报告和Lean证明。

他们还向社区发布了一封公开信，就如何检验这一主张以及如何为处理AI生成的突破设定规范征求意见：

数学突破也有类似的文档，其模型“给出了局部光滑猜想在任意维度的证明，从而也解决了所有维度的Kakeya猜想和Stein限制猜想。”就在几个月前，纽约大学教授王虹因解决三维Kakeya猜想而被国际数学联盟授予著名的菲尔兹奖。