AnalysisScienceSeptember 13, 2026

Guest post debates AI's Navier-Stokes proof and math's future

Philosophers Silvia De Toffoli and Eamon Duede respond to OpenAI's September 8, 2026 claim of an AI-generated solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. Mathematician Tristan Buckmaster called it "a Deep Blue-Kasparov moment."

People · Silvia De Toffoli, Eamon Duede, Tristan Buckmaster

1 source

More stories today

Open the live feed