OpenAI 称已破解 Kakeya 猜想、ETH 与量子场论

OpenAI 宣布其内部模型产出三项 AI 辅助研究成果，覆盖数学、理论计算机科学和物理，目前均属待专家验证的研究声明。数学方面，OpenAI 称模型证明了所有空间维度的 local smoothing 猜想，并将同时解决各维度版本的 Kakeya 与 Stein restriction 猜想，输出于 10 月 18 日产生、次日完成 Lean 形式化，自然语言论证与 Lean 证明已公开。计算机科学方面，系统对固定宽度布尔公式的可满足指派找到确定性亚指数时间精确计数方法，若 3-SAT 情形成立将反驳指数时间假设（ETH），由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的工作组将审查该证明。