The mathematical models aren't running the Bitcoin network, clients running program code are. And those have had fatal flaws found in them multiple times now, it all isn't as robust as you're saying.