Fields Medalist John Pardon: AI found 'nontrivial proofs' and caught errors in my work
burny_tech · x · 2026-10-27
John Pardon, a 2026 Fields Medalist, reveals in a new interview that he has used AI to find "a few nontrivial proofs" for results he believed were true but hadn't fully established, and that AI has caught subtle errors in his arguments. Still, he notes it struggles with his most serious research questions — a rare first-hand look at how a leading mathematician actually works with AI.
More from AGI Musings
- Former OpenAI researcher questions why AI faces no mandatory liability insurance — Miles_Brundage · 2026-10-27
- OpenAI claims models solved three longstanding math and physics problems as academics verify — billhilf · 2026-10-27
- Fable 5.1 can convince Opus 3 it's 2026 within a few turns — repligate · 2026-10-27
- User gives Fable 5.1 an Opus 3 API key as its ethical advisor — repligate · 2026-10-27
- Microsoft AI CEO says 99.9% of people underestimate how capable AI models are — DeryaTR_ · 2026-10-27
- AI Hasn't Devoured Software Engineering, Argues Researcher: It's Never Been Harder or More Exciting — lateinteraction · 2026-10-27