Fields Medalist John Pardon: AI now truly understands my messiest proofs, 100%
141_1337 · reddit · 2026-10-20
2026 Fields Medalist John Pardon says AI now understands even his tersest, messily written proofs, catches subtle errors, and proves nontrivial results — "The AI understands. 100%." A year ago, he would have said the opposite.
In the quoted interview, he explains that AI proofreading used to be like spell-check, but now it grasps global context — catching that "all colimits" should have been "all finite colimits," which is only possible if it truly understands. Where he once reread proofs five times to be sure, he now has that certainty, and calls the progress world-changing for mathematics.
Related event: Fields Medalist says AI now understands his messy proofs 100%(2 posts)→
More from AGI Musings
- Inside OpenAI's all-hands: Sam Altman walks through 3 plans to pace AI development — steph_palazzolo · 2026-10-20
- Language Modeling Is Agents in the Limit: voooooogel's Intuition Clash Sparks Debate — voooooogel · 2026-10-20
- The artificial ego and the absent id: why AI moral status hinges on deliberately built-in stakes — usernamedregs · 2026-10-20
- Reddit essay: why demanding proof of AI consciousness before moral consideration is a double standard — Afflictionxx · 2026-10-20
- Economist Paul Novosad: AI-written text deserves a steep attention discount, often near 100% — paulnovosad · 2026-10-20
- When AI Takes 80% of Routine Tasks, Problem-Definition and Risk-Taking Decide Your Worth — AryHHAry · 2026-10-20