在不到一个月前集中公开数百份据称解决了长期数学难题的手稿后,OpenAI再次带来三项新的"重大"发现,涵盖数学、计算机科学和物理学领域。与此前不同的是,这次OpenAI在计算机科学和物理学成果上选择引入外部专家——该公司称之为"引路人"——来指导结果的发布,而在数学问题上,专家建议直接公布AI的输出结果,供研究人员自行推导解释。

OpenAI今天在GitHub上发布的成果包括:

欧几里得波动方程的局部光滑性。该证明使用了一个辅助偏微分方程,建立了波动方程在所有不低于二维空间维度上的索格局部光滑性。该成果同时得出了卡克亚极大函数与维度猜想,以及斯坦球面限制估计在猜想范围内部的成立。我们直接公布模型输出结果,做法与10月6日的发布一致。

指数时间假设被证伪。该论文给出了一种确定性算法,能够在亚指数时间和多项式空间内精确计算固定宽度CNF公式的满足赋值数量。其中3-SAT的情形证伪了指数时间假设。由计算机科学家拉塞尔·因帕格里亚佐、拉马莫汉·帕图里和瑞安·威廉姆斯领导的独立工作组将审查并解释这一证明。应该工作组要求,我们立即公开相关材料,以便其他人也能进行审查。

该公司承认这种做法本身也可能存在问题,而OpenAI组建的AGMAI数学顾问小组昨天刚刚表示,"我们建议AI公司不要采用"指定特定人员率先获取输出结果的做法,并指出了诸如访问不平等、借用声誉和选择偏见等问题。相反,他们建议未来AI实验室应将成果发布在学术知识库上,并附上Lean形式化证明、问题选择方式的说明、支持研究者理解成果的资金安排等信息。

物理学方面的信息尚未完全公开,但据称是"关于某些包含规范场和费米子的四维相互作用量子场论的严格数学存在性证明,其中包括量子色动力学(QCD)以及粒子物理标准模型的统一完成版本"。根据OpenAI的说法,"大卫·格罗斯将领导一个团队,成员包括迈克尔·道格拉斯、亚瑟·贾菲、伊戈尔·克列巴诺夫和尼基塔·内克拉索夫,共同引导这项工作的审查。"

据称,这项计算机科学合作成果证明了此前被广泛认为成立的指数时间假设(ETH)实际上是错误的。OpenAI表示,该结果的验证将由一个三人专家组指导,成员包括加州大学圣地亚哥分校的拉塞尔·因帕格里亚佐和拉马莫汉·帕图里——他们正是1999年最初提出该假设的团队成员——以及麻省理工学院教授瑞安·威廉姆斯。该小组决定今天在GitHub上公开AI生成的论述文本和Lean证明。

他们还向学术界发布了一封公开信,征求关于如何审查这一结论的意见,并探讨应如何为处理AI生成的突破性成果建立规范:

我们欢迎围绕以下三个更宏观问题展开讨论:

应如何规范对AI生成成果的早期访问权限、利益冲突的披露,以及未发表材料被用于后续研究的行为?

应如何在认可新发现的同时,也认可检验、修正、简化、解释和拓展这些成果的工作?

在研究方法和方向不断变化的情况下,我们应如何支持学生和研究人员,同时保留质疑结果、发展新思路所需的理解力和判断力?

数学方面的突破也有类似的文档说明,其模型"给出了局部光滑性猜想在任意维度上成立的证明,因此也同时解决了卡克亚猜想和斯坦限制猜想在所有维度上的问题"。就在几个月前,纽约大学教授王虹因解决三维空间中的卡克亚猜想,被国际数学联盟授予了声望极高的菲尔兹奖。

The Verge