Heard from one mathematician recently - math is not about problem solving, but about the artifacts that are produced in the process. The new Navier-Stokes solution for singularity isn't worth a million, it supposed to generate new mathematical methodologies, tooling and lead to additional discoveries, like the graph theory.