OpenAI 公布数学、计算机科学与物理学三组研究主张，邀请学界核验

OpenAI 于 10 月 27 日发布三组由其模型产生的研究材料。数学部分声称证明欧氏波方程的局部平滑猜想；计算机科学部分的预印本（10 月 25 日修订）提出固定宽度 #kSAT 的确定性次指数时间算法，若成立将反驳指数时间假说（ETH），但不意味着 P=NP。物理学部分涉及 Yang–Mills 理论的严格构造，其 Lean 形式化于 10 月 16 日完成，但材料尚未公开。OpenAI 已邀请 Russell Impagliazzo、Ramamohan Paturi、Ryan Williams 等专家组成外部工作组核验，并强调这些主张尚非独立审定的学界结论。