Williams 忆破 SETH 往事:此前已知算法均不违反 ETH
quantum_aram · x · 2026-10-29
理论计算机科学家 Ryan Williams 在讨论中回顾:此前已知算法的扩展都「遵守」指数时间假设(ETH),例如基于 resolution 的方法(刻画了现代 SAT 求解器的多数行为)已知无法奏效。他坦言当年并不认为这些理由足够有力,但认为自己需要先证明 SETH 不成立才能继续思考 ETH。这是关于新突破性求解器讨论的背景补充。
所属事件:minilek 与 Ryan Williams 辨析 ETH 站得住吗(7 条相关)→
「研究」频道最新
- 研究员炮轰学术会议评审制度：随时投稿、快速评审是否可行 — EugeneVinitsky · 2026-10-30
- 仅16分钟真实数据3分钟GPU训练，让Unitree Go1学会走路 — MarcJSchmidt · 2026-10-30
- 新研究探讨如何安全地把监督权委托给未对齐的 agent — Aaroth · 2026-10-30
- Hugging Face 开源 14B 模型 Carbon-X,用 3000 亿 DNA 语料中训练追平闭源旗舰 — evijit · 2026-10-30
- EpicWorldModel 提出：用多个未来预测的分歧度驱动世界模型探索 — Majumdar_Ani · 2026-10-30
- 随机禁用 Qwen 神经元实验：30% 时模型开始胡编 CEO — flowersslop · 2026-10-30