TheZvi: Math proofs are starting as giant AI output piles—will first versions ever be comprehensible?
TheZvi · x · 2026-09-08
AI researcher TheZvi argues that given the accelerating pace of mathematical progress, scoop risk, and proofs now starting as giant ugly piles of AI output, the first versions we see may be incomprehensible even if everyone behaves well going forward.
More from AGI Musings
- Curious How AI Solves Infinity? — karmicoder · 2026-09-09
- Magic, likely the world's smallest team training trillion-parameter models, is hiring — magicailabs · 2026-09-09
- Dallas Fed: AI-heavy sectors use 16% of US work hours but drive 40% of productivity gains — bittingthembits · 2026-09-09
- Alignment reduces to preference elicitation — and preference elicitation is collaboration — clarejtbirch · 2026-09-09
- When NVIDIA's CEO says AGI has arrived, researchers still can't even define intelligence — annetgriffin · 2026-09-09
- ARR reviewers caught using AI for peer reviews amid two-week compulsory deadlines — tallinzen · 2026-09-09