OpenAI 与学术社区合作建立对模型科学结果的理解

OpenAI 宣布其模型在调和分析、复杂性理论和量子场论三个方向产出新结果，并试行由外部专家牵头组织验证与解读的发布方式。数学方面模型给出所有维度的 local smoothing 猜想证明，进而解决 Kakeya 与 Stein restriction 猜想，AI 写出的证明与 Lean 形式化已公开。计算机科学方面称证明指数时间假设（ETH）不成立，由 Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 牵头的小组负责验证，OpenAI 承诺出资办会讨论其影响。物理方面给出包含规范场与费米子的四维相互作用量子场论存在性证明，涵盖 QCD 与标准模型的统一完成，David Gross 牵头的小组决定暂缓公开 AI 产出材料并自行撰写。