Priest, Monk, and Mathematician

On Navier-Stokes and the future of the mathematics community

Astronomer Copernicus, or Conversations with God, Jan Matejko (1873) I thought we had another year or so until we got a Millennium prize problem. We can rationalize all we want — It's just a counterexample disproof! It's not building new theory! — but the Navier-Stokes blowup is the Navier-Stokes blowup. Maybe that was just a low-hanging Millennium prize problem, and the other ones will be harder. I mean, that's almost necessarily the case, given that this one was the first one OpenAI proved after attempting them all in parallel. Plus, wasn't a lot of the line of thought that resulted in…

saved by

• Lydia Nottingham

related reading

• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
• The fall of the theorem economydavidbessis.substack.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Declaration — Math and AImathandai.org
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Knowledge Collapse - Boston Reviewbostonreview.net
• The end of the age of heroessubstack.com
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
• The Dark Night of Mathematics - by Kirwin Hampshirekirwinhampshire.substack.com