AI now generates more math proofs than humans can verify; Tao spent days condensing a 90,000-line proof
every · x · 2026-09-02
AI has created a new problem for mathematics: it produces so many proof submissions—most likely correct—that mathematicians can't keep up with verification. Terence Tao recently spent days translating a 90,000-line AI-generated proof into 15,000 lines for human readers, pointing toward a new division of labor where machines find results and humans translate them.
More from AGI Musings
- 10 minutes to shop online in 1996, 30 seconds in 2026 — the same shift is coming for LLMs — charliedeets · 2026-09-02
- AI commentator calls for regulation: 'It's speculation and market capture, not philosophy' — gerardsans · 2026-09-02
- Claim: all 6 contributors to Guardian AI-doomer article funded by AI Doomer donors — Dan_Jeffries1 · 2026-09-02
- When nobody can track frontier model progress, closed-model business may lose to open weights — StewartalsopIII · 2026-09-02
- Design lead ships 12 PRs in a week: AI is erasing the designer-engineer gap — talkaboutdesign · 2026-09-02
- Cybersecurity experts blast METR/Redwood report: OpenAI incident was a security failure, not rogue AI — ylecun · 2026-09-02