Now, when you first heard this, what was your reaction?

It wasn't a great surprise.

It's been kind of almost expected.

So I'll try and say a little bit about the history as to why I wasn't so surprised.

Now, the first thing I do want to say is that.

No one claims they can solve the Navier-Stokes equations.

The Navier-Stokes equation is incredibly hard to solve.

And it is an AI generated proof to a problem where a lot of human progress had already been made.