据The Verge报道,OpenAI于10月26日宣布在数学、计算机科学和物理学领域取得三项“重大”发现,并在计算机科学和物理学两类结果上安排外部专家担任“牧羊人”参与核验,数学结果则按顾问建议直接发布模型输出供研究者自行解释。这距其10月6日大规模发布数百篇声称解决长期数学问题的稿件不到一个月。
OpenAI公布,数学成果题为《欧几里得波方程的局部光滑性》。该证明借助一个辅助偏微分方程,在空间维数至少为2的所有情形下建立Sogge局部光滑性,并由此得到Kakeya极大与维数猜想,以及Stein球面限制估计在猜想范围内部的结果。OpenAI称,此次直接发布模型输出,做法与10月6日发布相同。相关文档还称,其模型“在每个维度上给出了局部光滑性猜想的证明,因而也在所有维度上解决了Kakeya猜想和Stein限制猜想”。文章提到,几个月前,纽约大学教授王虹因解决三维Kakeya猜想获得国际数学联盟颁发的菲尔兹奖。
计算机科学成果题为《指数时间假设为假》。论文给出一个确定性算法,可在亚指数时间和多项式空间内精确计算固定宽度CNF公式的满足赋值;3-SAT情形即可反驳指数时间假设(ETH)。OpenAI称,由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams领导的独立工作组将审查并解释该证明。按工作组要求,材料立即公开,供其他人检查。OpenAI还说,验证工作将由三名专家指导,其中包括加州大学圣迭戈分校的Impagliazzo和Paturi——两人是1999年提出ETH的成员——以及麻省理工学院教授Ryan Williams。工作组决定当天在GitHub发布AI输出文稿和Lean证明,并发布致社区公开信,就如何审查该主张、如何设定处理AI生成突破的规范征求意见。
物理学成果尚未完整发布。OpenAI称,这是一项“数学上严格的证明”,涉及四维中包含规范场和费米子的某些相互作用量子场论的存在性,包括量子色动力学(QCD)以及粒子物理学标准模型的统一完成。David Gross将领导一个包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov的小组,负责指导这项工作。
OpenAI承认,这种安排可能自身存在问题。其组建的数学顾问小组AGMAI前一天表示,“我们建议AI公司不要采用”优先指定某些人接收输出的做法,理由包括获取机会不平等、借用声誉和有偏选择。该小组建议,未来AI实验室应在学术仓储库发布输出,提供Lean形式化证明、问题选择信息、资助理解结果的研究人员,并公开其他信息。