OpenAI 3SAT 证明实用性受质疑
热点事件持续更新
OpenAI 3SAT 证明实用性受质疑
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Paras Chopra 称，OpenAI 提出的 3SAT 亚指数时间算法，只有在变量数超过约 10^(2×10^10) 时才优于暴力搜索；该阈值意味着约 200 亿位数的规模，因此被指实际优势仅存在于极端情况。 这一质疑源于 Ben Recht 在 arg min 博客发表的长文，他批评复杂性理论已偏离最初要解决的问题。
AI 根据报道生成 · 59 分钟前更新
最新进展11月14日 21:40
OpenAI 3SAT 亚指数时间证明被指仅在天文数字规模下占优报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- AGI HuntOpenAI 3SAT 亚指数时间证明被指仅在天文数字规模下占优
Paras Chopra 指出，OpenAI 声称的 3SAT 亚指数时间算法只有当变量数超过约 10^(2×10^10) 时才优于暴力搜索，该规模约 200 亿位，超过可观测宇宙原子数。争议源自 Ben Recht 在 arg min 博客发表的长文，他批评复杂性理论偏离了最初要解决的问题。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。