Andrew Blumberg：没有可解释性的形式化不算科学
AlexKontorovich · x · 2026-07-21
Andrew Blumberg 认为，没有可解释性的形式化不算科学，而且形式化真正可能产生最大影响的地方，反而是物理科学。
配图里的结论还包括：
- 形式化要想影响科学，需要先有“信任基础设施”。
- 数学与计算的形式化能加速科学进展。
- 下一步，是把与物理世界相连的科学流程也一起形式化。
「漫话AGI」频道最新
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11
- 一万个智能体能否突破反向传播,找到更好的学习算法 — SeunghyunSEO7 · 2026-09-11
- AI 陪伴的隐秘代价：它消解了建立真实亲密关系所需的摩擦 — YogeshMalik · 2026-09-11
- Wired 深度解析:为何众多 AI 研究者担心机器威胁人类生存 — wiredmagazine · 2026-09-11
- 「幻觉」或是范畴错误:把 AI 叫智能正在限制我们的想象 — Genaforvena · 2026-09-11
- 观点：Agent 真正的瓶颈是企业数据工程能力 — dhruv2038 · 2026-09-11