OpenAI发布三项重大科学发现

OpenAI在数学、计算机科学和物理学领域宣布三项重大发现。在计算机科学和物理学方面，OpenAI选择让外部专家作为“牧羊人”指导结果，而在数学问题上，他们建议发布AI输出供研究人员自行解释。 OpenAI在GitHub上发布了局部平滑的欧几里得波方程的证明，该证明使用辅助偏微分方程建立了Sogge在至少二维空间中波局部平滑的定理，并产生了Kakeya极大和维度猜想以及Stein的球面限制估计。

此外，他们还发布了指数时间假说错误的证明，该证明给出了一个确定性算法，可以在次指数时间内和多项式空间内精确计算固定宽度CNF公式的满足赋值。 3-SAT的情况反驳了指数时间假说。一个由计算机科学家组成的独立工作组将审查和解释该证明。物理学信息尚未完全发布，但是一个“数学上严格的某些包含规范场和费米子的四维相互作用量子场理论的存在的证明，包括量子色动力学（QCD）和粒子物理学标准模型的统一完成”。

OpenAI表示，David Gross将领导一个包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov的工作组来指导这项工作。计算机科学合作被认为证明了指数时间假说（ETH）实际上是错误的，该假说一直被广泛认为是正确的。 OpenAI表示，验证结果将由一个包括UC San Diego的Russell Impagliazzo和Ramamohan Paturi以及MIT教授Ryan Williams的三位专家小组指导。

该小组决定今天在GitHub上发布AI输出摘要和Lean证明。他们还发布了一封公开信，征求社区对如何审查该主张以及如何处理AI生成的突破的规范的意见。