追问曼德博之争:程序会不会只是查找表的好压缩
michael_timbs · x · 2026-10-06
在计算不可约性讨论的延续中,michaeltimbs 提出核心疑问:已知 AB 无需运行程序,但若程序要对满足约束的所有 A、B 计算乘积,而输入由其他系统生成,程序及其运行是否就是答案最高效的表示(如曼德博集合)?
他进一步推演:理论上可以为所有输入→输出建查找表来替代程序,那么程序是否只是「好的压缩」而并非真正在做计算?
「研究」频道最新
- Kyutai 用何恺明团队 Drifting 方法训练 100M 端侧 TTS,WER 低于 1% — serrjoa · 2026-10-06
- 谷歌SHIFT按查询自动构建多智能体系统,准确率领先最强基线7.2点 — google · 2026-10-06
- 新研究诊断LLM数学短板:发现能力是最大瓶颈,可定向修复 — TexasAMUniversity · 2026-10-06
- RealtimeWAM:一步生成+异步推理,机器人动作模型提速25倍 — NanyangTechnologicalUniversity · 2026-10-06
- OmniConfess免训练缓解全模态幻觉,附3,540例新基准 — Huiqiang Rong · 2026-10-06
- ADSD框架让AI自诊数值求解器,误差降低近71倍 — Peter Chen · 2026-10-06