AnalysisScienceSeptember 12, 2026

Essay: AI models close in on Millennium Prize problems

An unnamed OpenAI model solved the forced version of Navier-Stokes, and OpenAI told the New York Times it made "substantial progress on another Millennium Prize problem," with rumors Anthropic targeted a third. Terence Tao argues that when the struggle with a problem disappears, much of a proof's value disappears with it.

People · Terence Tao

1 source

More stories today

Open the live feed