Nobody thought this was possible.

3sum hard was colloquially considered to be >= n^2

It's an absolutely unbelievable result! (Personally, this is more meaningful to me than Navier Stokes and feels more surprising - not that an agent did it but the result itself is extremely surprising!)