AGI Hunt· paraschopra·· 1 小时前AI 评分45
OpenAI 3SAT 亚指数时间证明被指仅在天文数字规模下占优
OpenAI 3SAT 亚指数证明被指仅在天文数字规模下占优
AI 导读
Paras Chopra 指出,OpenAI 声称的 3SAT 亚指数时间算法只有当变量数超过约 10^(2×10^10) 时才优于暴力搜索,该规模约 200 亿位,超过可观测宇宙原子数。争议源自 Ben Recht 在 arg min 博客发表的长文,他批评复杂性理论偏离了最初要解决的问题。
来源:AGI Hunt · agihunt.info