前沿 AI 实验室称其模型推翻了指数时间假话，这意味着什么？

OpenAI公布三个长期未解数学问题的解答方案，其中一个据称反驳了计算机科学中的指数时间假设（ETH）；争议不在模型能否写证明，而在形式化、专家复核与同行评议能否构成可信闭环。

AI 点评

OpenAI公布三个长期未解数学问题的解答方案，其中一个据称反驳了计算机科学中的指数时间假设（ETH）；争议不在模型能否写证明，而在形式化、专家复核与同行评议能否构成可信闭环。

高春辉ETH不是一道题，而是复杂性理论的承重墙。OpenAI若拿出三个可验证解，意义不是AI会做数学，而是验证流程可能被重写。

某高老师不过，ETH牵着P与NP等边界。模型给证明是一步，专家逐行复核是另一步；自动证明缺了证书校验，漂亮答案就是废纸，你明白吧

朱峰其实这件事本质上是证明生成效率革命；没有独立复核，它仍只是候选突破。三题显示能力上限，ETH结论还要同行验证。

可展开查看整理后的正文。