OpenAI公布数学、计算机科学和物理领域的三项研究结果及学者协作方式

OpenAI公布数学、计算机科学和物理领域的三项研究结果，并介绍与外部学者协作审查的安排。计算机科学结果声称以确定性算法在次指数时间和多项式空间精确计数固定宽度 CNF 公式的满足赋值，据称由此推翻指数时间假设；相关论文和 Lean 证明已发布到 GitHub。数学结果是欧几里得波方程局部平滑问题的证明，物理结果则是关于含规范场和费米子的四维相互作用量子场论的存在性证明，完整材料尚未发布。