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
- CS professor: don't hide your AI use from future employers, lead with it — lemire · 2026-10-26
- Engineer: AI-cheap engineering will change which manufacturing jobs get a yes — burhop · 2026-10-26
- FixItBench: the joke benchmark where robot-agent teams race to repair electron microscopes — teortaxesTex · 2026-10-26
- Instructor advice: record and save all your teaching materials for future AI use — prof_g · 2026-10-26
- Jason Furman: Building Econvitals pre-AI would need ~50 people, 3 years, $20M — HarrySurden · 2026-10-26
- Dune's 1960s Warning on Handing Thinking to Machines Resurfaces in AI Debate — umeshonai · 2026-10-26