Formalization ≠ understanding: the core split in the AI proof debate
eigenstate · x · 2026-10-22
The thread continues: jacobaustin132 argues understanding a proof and formalizing it are separate — we can trust a formalization without understanding it. eigenstate pushes back that even formulating statements that faithfully match what's in your mind is a basic part of understanding, regardless of the proof itself.
Related event: Debate flares over AI formalization of math: trust vs understanding(5 posts)→
More from AGI Musings
- Dramstead quips that everything EA touches becomes corrupt — both EAs — mjdramstead · 2026-10-22
- Robots will strip human hours out of prices, leaving materials plus energy — Dr_Singularity · 2026-10-22
- Dan Faggella: bullish on Nvidia because its hardware may host souls — danfaggella · 2026-10-22
- As software turns probabilistic, interfaces shift from defining features to narrowing possibilities — round · 2026-10-22
- Former FTC Chair Lina Khan calls today's AI exceptionalism "ludicrous" in AI governance talk — AINowInstitute · 2026-10-22
- Constitutions for the multiagent era: how AI constitutions can govern agent organizations — sethlazar · 2026-10-22