3 ms·
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 adv
by eru 1mo ago
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.
- freehorse 1mo agoFormal verification, cryptography and the like is far from what the vast majority of theoretical mathematicians are doing (if those who do them even see themselves as that vs computer scientists or applied mathematicians) especially when it has to do with specific, production systems, and there are not many other examples like this in general outside compsci and statistics. Moreover, I can imagine that these fields will actually flourish more now that AI can make verification and proofs more viable in scale. But even much theoretical work related to cryptography etc is often not very applicable in itself.