Andrew Blumberg says formalization without interpretability is not science
AlexKontorovich · x · 2026-07-21
Andrew Blumberg argues that formalization without interpretability is not science, and that the biggest near-term impact of formalization may be in the physical sciences.
The slide shown in the post summarizes four conclusions:
- Formalization needs trust infrastructure before it can meaningfully affect science.
- Formalization without interpretability is not science.
- Formalizing mathematics and computation speeds up science.
- The next frontier is formalizing scientific processes that are integrated with the physical world.
More from AGI Musings
- Data engineering, not agent frameworks, is the real bottleneck for enterprise AI agents — dhruv2038 · 2026-09-11
- François Fleuret: Only Two Long-Term Futures — No Super AI, or Staying Fully Human With It — francoisfleuret · 2026-09-11
- IG reel debunking the 'winning the AI race against China' fallacy hits 500k likes — louisvarge · 2026-09-11
- Post-AI World Leaves No Room for Learning on the Job — rachittshah · 2026-09-11
- Researcher questions AI safety eval firm, citing 'blatantly sloppy' security and monitoring — Kyrannio · 2026-09-11
- AI researcher memes agent-swarm tinkering with He Jiankui's embryo-editing quote — dejavucoder · 2026-09-11