When formal verification outpaces intuition: a library of proven theorems nobody fully understands
tallmetommy · x · 2026-10-08
tallmetommy sketches a strange era for mathematics: formal verification may move faster than human intuition, producing a library of proven theorems that nobody fully understands yet.
Entire fields could emerge from mathematicians spending decades unpacking discoveries machines made in an afternoon. The core question: what happens when the frontier of human knowledge moves beyond the frontier of human comprehension?
More from AGI Musings
- Why Ghost in the Shell feels quaint now: it still has an individual with a body — lfschiavo · 2026-10-08
- Topology professor laments OpenAI scooped 'the most important problem in his area' — ctjlewis · 2026-10-08
- Launch posts call it a mind, deprecation notices a legacy endpoint: AI's double vocabulary — RileyRalmuto · 2026-10-08
- AI Reveals Insights Hide in the 'Convex Hull' of Existing Ideas — and Science at Large Is Next — soumitrashukla9 · 2026-10-08
- Debate: does superhuman math ability imply dangerous generalization? Quintin Pope pushes back on EY — QuintinPope5 · 2026-10-08
- Paul Graham: Amazon Banning Agents Is Its First Real Startup Opportunity Since Founding — jdjohnson · 2026-10-08