卧槽，一个撑了 27 年的计算机科学假设，被 AI 干翻了 但到现在，没有一个人类完整看懂过这个证明 这个假设叫指数时间假设（ETH），1999 年提出 说… · @don_tech1 · TwKit

@don_tech1

卧槽，一个撑了 27 年的计算机科学假设，被 AI 干翻了 但到现在，没有一个人类完整看懂过这个证明 这个假设叫指数时间假设（ETH），1999 年提出 说白了就是：有一类难题，再怎么抄近道，也逃不掉指数级暴力搜索 800 多篇论文拿它当地基 10 月 16 号同一天，OpenAI 和 Anthropic 的模型各走各的路，搞出了几乎一样的证明 Anthropic 说自己那个是 Claude 烧了 1400 万 token 搞出来的，人没插手 两家都过了 Lean 机器校验 听着板上钉钉？离大谱的地方来了： 提出 ETH 的 Impagliazzo 本人说：在我看来，这不是 100% 确定 他和另外两位审核学者发公开信：我们的参与不应被视为对结论的认证 OpenAI 交过去的第一版，他原话是"完全看不懂" 审核团队是 OpenAI 自己找的 Anthropic 自己仓库里写得明明白白：Lean 检查的是证明，没有机器检查这份文件说的，是不是论文里说的那件事 这就是最最最离谱的地方： 机器说它对了，但人类还没看懂 我觉得，这里面会引申出一个更长远的问题： 以后"AI 证明了、人还没验完"的结论只会越来越多 人类正在从做数学的人，变成给 AI 批作业的人，还批得越来越慢 所以最终会变演变成，一个 AI 做完了，另一个 AI 来审核才是靠谱的

曝光 269 · 评论 1 · 点赞 2 · 书签 1