OpenAI 刚刚随口宣布，其 AI 已经推翻了指数时间假设。

理论计算机科学中最大的假设之一，与 P vs NP 密切相关，并在数百篇研究论文中使用。

OpenAI 表示，该证明已在 Lean 中正式验证。

最疯狂的部分？现在审查它的研究人员包括 Impagliazzo 和 Paturi，这两位就是最初提出 ETH 的人。

真是疯了