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
- AI math automation is already inevitable, says Kareem Carr — kareem_carr · 2026-07-22
- Productivity Trap: Data Scientist Warns Against Over-Tweaking AI Workflows — kareem_carr · 2026-07-22
- Generative AI Shatters SMB Security: Flawless Phishing and Voice Cloning at Scale — YvesMulkers · 2026-07-22
- Technoprogressivism is about energy systems, cities, and industrial policy too — cccalum · 2026-07-21
- AI papers may be easy to generate, but most still look trivial without human input — _akpiper · 2026-07-21
- Why enterprises are racing to own the AI control plane, not just the model — sanjaykalra · 2026-07-21