OpenAI 3SAT 亚指数证明被指仅在天文数字规模下占优

Paras Chopra 指出，OpenAI 近期声称的 3SAT 亚指数时间算法存在反直觉问题：只有当变量数超过约 10^(2×10^10)——一个约 200 亿位、超过可观测宇宙原子数的数字时，才优于暴力搜索。该争议的源头是 Ben Recht 在 arg min 博客发表的长文《Galactus the Devourer》，他溯源计算机科学史，批评复杂性理论一直未能严格定义「效率」，偏离了最初要解的问题。

2026-11-14 ~ 2026-11-14 · 2 条相关