指数时间猜想与推理复杂度：3-SAT 难解性对 AI 推理意味着什么
srchvrs · x · 2026-10-27
srchvrs 讨论指数时间猜想（ETH）：3-SAT 等布尔方程无法快于指数时间 O(e^{cn}) 求解。他指出该猜想对推理复杂度有直接影响——若被推翻，说明某些布尔推理比想象中「容易」，但不应高估这种「容易」。
「漫话AGI」频道最新
- eLife 论文:LLM 难以复现词序对人脑句义表征的塑造 — AnnaCiaunica · 2026-10-27
- AI 解题可信度存疑：Lean 形式化证明与文本证明不匹配 — srchvrs · 2026-10-27
- DeepMind 创始人 Shane Legg:AGI 距今不到十年 — soumitrashukla9 · 2026-10-27
- 观察者预言:中国将重塑 AI 安全与可解释性研究格局 — teortaxesTex · 2026-10-27
- Nature Biotechnology 撰文:让 AI 以有界无投票权角色进入同行评审 — OdedRechavi · 2026-10-27
- nostalgebraist：AI agent 像聪明但天真的研一新生，仍不停犯低级错误 — JacquesThibs · 2026-10-27