I am shocked how people can deny that solving Navier Stokes requires some sort of intelligence. Even Doctorow talks of "brute-forcing" a solution. Brute-forcing leads to combinatorial explosion, so there must be something more going on here. Otherwise you could just put this problem into an automated theorem prover (we've had those forever, they are actually just brute-forcing it).

Turns out what you call "intelligence" was never needed to do math.

Pick one:

- solving "frontier" math problems requires intelligence (by human or AI)

- solving "frontier" math problems is dumb statistical prediction of next token (by human or AI)