Andrew Blumberg：没有可解释性的形式化不算科学
AlexKontorovich · x · 2026-07-21
Andrew Blumberg 认为，没有可解释性的形式化不算科学，而且形式化真正可能产生最大影响的地方，反而是物理科学。
配图里的结论还包括：
- 形式化要想影响科学，需要先有“信任基础设施”。
- 数学与计算的形式化能加速科学进展。
- 下一步，是把与物理世界相连的科学流程也一起形式化。
「漫话AGI」频道最新
- Carmack 押注人形机器人 2028 年前换不了南瓜电池，2:1 赔率公开约赌 — davidpattersonx · 2026-10-28
- 「AI 接管认知就是释放你的 VRAM」：认知外包讨论引发共鸣 — generativist · 2026-10-28
- Dario Amodei 自述离开 OpenAI 创办 Anthropic：因对安全处理失去信任 — kimmonismus · 2026-10-28
- AI 安全研究者呼吁实验室员工全职投入美中协议核查，称数月内可行 — ohlennart · 2026-10-28
- 两大实验室同日各自证伪 ETH，agent「撞车发现」引Birthday悖论之问 — yian_yin · 2026-10-28
- Palantir CEO Karp:全球AI竞赛只剩美中，以色列是唯一例外 — acmoytoy · 2026-10-28