2026 Fields Medalist John Pardon says AI now understands even his messiest mathematical proofs, catches subtle errors, and proves nontrivial results. “The AI understands. 100%.” Just a year ago, he would have said the opposite. He calls the progress world-changing for mathematics

Explain Like I'm Normal

John Pardon, one of the world's top mathematicians, reports a massive shift in AI's ability to verify and generate complex proofs within a single year. He claims modern models can now catch subtle errors in elite-level research that they previously failed to grasp. This represents a significant leap from 'stochastic parrots' to genuine symbolic reasoning in specialized domains.