Artificial Intelligence

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]

Can We Teach Computers What “Truth” Means? 26 February 2013

It’s harder than it sounds
How artificial intelligence can inform ideas about logic.
[Slate]

CAPTCHA and the alternatives 31 January 2013

May it not rest in peace
Combatting spam and what it means to be human.
[Slate]