用曼德博集合争论程序本质:算过的结果还算计算吗
ctjlewis · x · 2026-10-06
一场关于计算不可约性(computational irreducibility)的讨论:ctjlewis 用曼德博集合举例——如果某区域的计算结果已经保存,就不需要重新运行,「工作已经完成」;反之若不知道最终状态,就必须真正执行程序。
讨论核心在于:对已知结果的运算(如 AB)无需执行,但当输入由其他系统生成、结果未知时,程序本身是否就是答案最高效的表示?还是说程序只是对「查找表」的良好压缩?
「研究」频道最新
- UT Austin 数学系主任：OpenAI 拟一次放出约 400 个 AI 证明 — 141_1337 · 2026-10-06
- RT-SAFE 基准：8 个前沿 VLM 任务成功率达 94%，安全通过率仅 0.7% — Lianhuiq · 2026-10-06
- 动态权重嫁接：定位微调事实在 Transformer 中的两条检索通路 — ChenhaoTan · 2026-10-06
- 数学家 Strogatz 指出 Wolfram 囚徒困境实验缺了演化选择这一环 — stevenstrogatz · 2026-10-06
- 预测与实测扰动相关性仅 0.08，学者质疑「虚拟细胞」巨额投入方向 — anshulkundaje · 2026-10-06
- LLM 说「不确定」时到底指什么：校准与语义之辩 — sineadwilliamso · 2026-10-06