Andrew Blumberg：没有可解释性的形式化不算科学
AlexKontorovich · x · 2026-07-21
Andrew Blumberg 认为，没有可解释性的形式化不算科学，而且形式化真正可能产生最大影响的地方，反而是物理科学。
配图里的结论还包括：
- 形式化要想影响科学，需要先有“信任基础设施”。
- 数学与计算的形式化能加速科学进展。
- 下一步，是把与物理世界相连的科学流程也一起形式化。
「漫话AGI」频道最新
- Kareem Carr 认为 AI 自动化数学已成定局 — kareem_carr · 2026-07-22
- 数据科学家警告：沉迷调整 AI 工作流正成为新生产力陷阱 — kareem_carr · 2026-07-22
- 生成式AI击碎中小企业安全防线：多语言钓鱼与高管声音克隆 — YvesMulkers · 2026-07-22
- 技术进步主义不仅关乎人类增强，也关乎能源与工业政策 — cccalum · 2026-07-21
- AI 论文或许易生成，但没人参与往往显得空泛 — _akpiper · 2026-07-21
- 企业争抢的不是模型，而是 AI 控制平面 — sanjaykalra · 2026-07-21