> Keep in mind that 1 (or less than 5) expert human mathematician (Grigori Perelman) out of 8 billion humans managed to solve 1 of the seven millennium prize problems which was the Poincaré conjecture.

8 billion is the wrong number to use in the denominator, since not every single person on Earth was actively trying to make progress in Navier-Stokes. Equivalently, we could say "1 out of every 5 billion AI prompts managed to solve 1 of the seven millennium prize problems".