Wolfram ARC Prize 演讲：计算不可约性保证发现永无止境
mhmazur · x · 2026-10-27
Stephen Wolfram 在 ARC Prize 会议上谈「发现的本质」，mhmazur 整理了完整笔记。
- 核心论点：发现就是在计算不可约的系统里找到一块块「可约化口袋」。Wolfram 承认自己没有完整理论说明什么发现才算重要。
- Ruleo-biology 演化模型：用元胞自动机构造最小「生物」，规则即基因组，随机突变若能延长存活就保留。适应度曲线呈一系列突变式跳跃，每次跳跃像一次「突破」；不同谱系以不同方式学会存活，但他尚无理论去「计数」新想法何时出现。
- 计算不可约性是常态：连 rule 30 这样的极简程序，想知道十亿步后的结果也只能跑完十亿步，LLM 同样无法预测。工程学刻意回避不可约性以换取可预测性，但计算宇宙中多数系统皆是如此。
- 不可约性 ⇒ 发现无穷：任何计算不可约系统必然包含无穷多可约化口袋，每个口袋都是潜在的发现或发明——我们永远不会「发现完」。
- 数学：从公理（如布尔代数）出发可枚举无穷真定理，难的不是找真命题，而是找人类在乎的真命题。
- 高层描述的奇迹：数学家从不在公理层面工作，可用勾股定理而不必每次重推实数；Wolfram 称「高层数学的存在」可能是数学最大的元结果。
- 物理：分子运动不可约，但流体力学给出可处理的高层描述；热力学第二定律源于不可约的底层动力学与我们这类计算有界观察者之间的错配。
- 无可复用洞察的成果：他对布尔代数最简公理的自动证明完全在低层运作，从未找到高层描述——唯一「发现」就是最终结果。
- 机器学习与演化相似：两者都是以目标为导向拼装不可约计算块，发现方式同源。
「漫话AGI」频道最新
- AI 治理专家呼吁政府立即规划：UBI、AI 部署税与人类专属岗位 — LuizaJarovsky · 2026-10-27
- Anthropic 能否单方面停下？三位 AI 安全人士重估囚徒困境叙事 — ShakeelHashim · 2026-10-27
- Dario Amodei 首度详谈离开 OpenAI 创办 Anthropic：因为信任破裂而非分歧 — Hesamation · 2026-10-27
- AI 算出超越宇宙算力上限的数学结果，引出「是否存在其他物理」之问 — teortaxesTex · 2026-10-27
- Eric Topol 对谈哈佛衰老科学权威 Gladyshev，聊生物年龄时钟与 AI — EricTopol · 2026-10-27
- Reddit 热议：AI 裁员的公司应承担失业保险直至员工再就业 — ApoplecticAndroid · 2026-10-27