Hacker News Reader

If that were true you could explain it. There are lots of solvers for navier stokes simulations and they do a good job.

I was referring mostly to

> This proof is just checking the boxes for mathematicians

There are already quite a lot of summaries of the story that lead to the solution, and the impact that the intermediate results have had.

True, this is just a much bigger one with a vastly larger amounts of hardware.