Definition
Plain language
The philosopher Imre Lakatos, who argued that math advances through repeated cycles of conjecture, counterexample, and revision.
As stated in the literature
Imre Lakatos, philosopher of mathematics whose Proofs and Refutations framed mathematical knowledge as advancing through dialogical cycles of conjecture, criticism, and reformulation.
Why it matters: His view that math advances through criticism rather than monolithic proofs is increasingly invoked in designing AI systems that propose, attack, and refine conjectures.
For example, Lakatos traces how repeated counterexamples to Euler's polyhedron formula gradually forced mathematicians to reformulate both the theorem and its definitions.
Heard on the show
“The philosopher, Imre Lakatos, called this "proofs and refutations.”Episode 029 — Why Forty-Eight Percent on FrontierMath Isn't the Real Story in DeepMind's New Math Paper