I haven't really thought about it deeply, but I'm pretty sure this isn't true. It seems like mathematicians are often coming up with new proofs and formal systems and only later noticing that they're applicable to some real-world problem.