After Math

On September 8, 2026, OpenAI announced an AI solution to the Navier-Stokes problem, sparking debate about whether mathematics could be "solved" like chess and Go. Philosophers Silvia De Toffoli and Eamon Duede argue this narrative rests on flawed assumptions: that AI truly solved the problem and that mathematics is merely about finding answers, when in fact a genuine solution requires an intelligible proof that human mathematicians can understand and build upon.