OpenAI 宣称其 AI 模型推翻计算机科学中提出近 30 年的指数时间假设

OpenAI 宣布其 AI 模型设计出一种新算法打破了求解逻辑谜题的速度极限，据称推翻了提出近 30 年的指数时间假设（ETH）。该证明已使用 Lean 软件进行形式化验证，并由包括 ETH 提出者在内的独立学者团队进行审查；若被最终确认，将要求算法与复杂度理论的多个领域进行重写。OpenAI 同期还公布了在波传播猜想及量子场论数学有效性等数学与物理领域的另外两项研究突破。