How AI Is Upending the World of Mathematics
Justin Solomon, associate dean of engineering education at MIT, joins Joe Weisenthal and Tracy Alloway to examine how artificial intelligence is transforming both pure and applied mathematics. They discuss OpenAI's controversial counterexample to the Navier-Stokes problem, the growing role of formal verification languages like Lean, and the emerging divide between compute-rich private labs and academic institutions. Solomon also details how mathematics pedagogy, homework grading, and peer review are breaking down and adapting in an era of abundant AI-generated proofs.
- OpenAI poured sudden compute spending into producing a counterexample for the Navier-Stokes problem the moment independent academic progress became known. Read →
- Large language models fail at proof-checking because probabilistic text generators cannot guarantee logical consistency. Read →
- Justin Solomon, associate dean of engineering education at MIT, points out that machine models operate inside the convex hull of existing human math rather than generating new theories. Read →
- OpenAI produced a counterexample to the Navier-Stokes existence and uniqueness conjecture, one of the Clay Mathematics Institute's Millennium Prize Problems. Read →
- Mathematician Terence Tao warned that mathematics transitioned overnight from proof scarcity, where every proof was a rare handcrafted artifact, to proof abundance, where AI generates endless candidate claims. Read →
- MIT engineering students now post near-100% scores on written homework by leaning on large language models, but their subsequent in-person exam scores reveal a sharp drop in real comprehension. Read →