mathematics

AI Has Helped Solve of Math’s $1 Million Millennium Prize Problems 8 September 2026

Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy. This article tells some of the story of how the ideas behind the proof were developed by Diego Córdoba of the Institute for Mathematical Sciences in Madrid and Luis Martínez-Zoroa of CUNEF University.

[Quanta Magazine]

Responding to the New York Times off-base math education editorial 10 December 2013

Math doesn’t have to be boring, but it does have to be math
The New York Times editorial board doesn’t understand the first thing about mathematics, and this is a big problem.
[Slate]

Mathematical Reasoning 31 March 2005

Proof and Beauty
Just what does it mean to prove something?