论文澄清：Transformer 无法表达最难的状态追踪，但简单类型仍在 TC0 内
lambdaviking · x · 2026-11-04
在关于状态追踪基准论文的讨论中，作者澄清理论结论：Transformer 无法表达最难（NC1-complete）的状态追踪类型，但存在更简单的、位于 TC0 内且已类似现有长上下文基准任务的状态追踪种类。这回应了「是否只测最难 S5 字问题」的质疑，说明基准覆盖了多个复杂度层级。
所属事件:Ai2 发布 StateBench：前沿模型长文状态追踪跌破 13%(18 条相关)→
「研究」频道最新
- Stanford 团队用 1/5600 算力预测 GSM8K 准确率，误差仅 3 分内 — stanfordnlp · 2026-11-04
- 1995 年的旧电脑跑现代引擎可胜卡斯帕罗夫：软件贡献 720 Elo — demian_ai · 2026-11-04
- 浙大联合微软提出 History Forcing,破解长视频生成一致性漂移 — ZhejiangUniversity · 2026-11-04
- LLM 直接改权重重编程神经细胞自动机：GPT-6 零反馈完成 6 次精准编辑 — burny_tech · 2026-11-04
- D&A 方法:把「描述」与「评估」解耦,让任意 VLM 变身机器人奖励模型 — weichiuma · 2026-11-04
- Muon 预训练损失更低，但大规模数据下微调后反输给 AdamW — AdtRaghunathan · 2026-11-04