alt Hacker NewsApplications do not care about 99.999% of theoretical math production anyway. And especially most of the big results in theoretical math nowadays are really inconsequential in applications.
Applications do not care about 99.999% of theoretical math production anyway. And especially most of the big results in theoretical math nowadays are really inconsequential in applications.
Applications don't care about Navier Stokes, yes. But they care about eg proving crytographics secure, or proving that your algorithm doesn't blow up under adversarial input.