Comment by sdenton4

The human mathematicians didn't solve the Navier-Stokes problem, they solved the Euler problem. And they were extensively using LLMs to drive the work, as described in the Buckmaster statement.

Any way you cut it, this is a major achievement for AI, besotted with human drama over whose prompt should be recognized by the history books.