Williams 自述:两年前曾尝试同一电路构造却放弃太早
rrwilliams · x · 2026-09-30
Ryan Williams 补充背景：他在多篇论文中反复使用过 Alon-Yuster-Zwick 色编码技巧，约两年前也曾尝试用类似方法证明这个关于对称布尔函数的深度-3 电路上界——该技巧的简化版本可以用 e^k·poly(n) 大小的深度-3 电路计算 At-Least-k 函数——但当时放弃得太早，如今看到结果成真颇感意外。
所属事件:色编码技巧突破：对称布尔函数获深度-3 小电路(2 条相关)→
「研究」频道最新
- 用代码复现 YouTube 讲解视频做 RL?知名研究者提出免人类偏好方案 — mathemagic1an · 2026-09-30
- CMU 开源 Gym-Anything：把任意软件变成 Agent 训练环境 — wellecks · 2026-09-30
- 预注册五模型对照实验:267 词规格帧让 LLM 代码缺陷显著下降 — Sandeep Dhuri · 2026-09-30
- Gary Marcus 重提 2020 旧文:LLM 不够,下一代 AI 需更深理解 — GaryMarcus · 2026-09-30
- GPT-6 Astra 驱动仿真:PET 瓶挤压还原真实塑料形变与流体 — rocky_mountain12 · 2026-09-30
- 新论文提出 DepthBench:残差连接设计决定模型有效计算深度上限 — teortaxesTex · 2026-09-30