Mathematician Predicts AI Autoformalization Will Repair Literature but Disconnect Ideas
littmath · x · 2026-08-12
Mathematician Daniel Litt forecasts the impact of AI on mathematics by 2028. He notes that autoformalization will become cheap and effective, enabling the discovery and repair of gaps and errors in existing literature.
While some argue human judgment is essential, Litt is skeptical, believing models will handle it effectively. However, he warns this will disconnect mathematicians from the math itself—they may trust the statements of past work, but it becomes harder to trust the underlying ideas.
Related event: Mathematician Litt Details AI's Impact on Math Community and Hype Warnings(15 posts)→
More from AGI Musings
- Deep Research becoming useful to experts will signal RSI arrival, researcher predicts — ZeeshanZiaML · 2026-10-16
- Physicist pushes back on ML community's acceptance that models may be beyond understanding — tszzl · 2026-10-16
- Ben Affleck calls AI 'just matrix multiplication'; Grady Booch echoes the skepticism — Grady_Booch · 2026-10-16
- Everyone has a precise AGI definition—until a model gets close to meeting it — VraserX · 2026-10-16
- Viral take: If AI gives us time back, its greatest gift is revealing what we mistook for the cost of living — r0ck3t23 · 2026-10-16
- "AI automation = slop, AI augmentation = super intelligence" — the line CEOs should see — jacob_posel · 2026-10-16