"They received a mathematical assurance that it would work"

No they did not. Mathematics is about proofs; Bitcoin does not even have the rigorous definitions needed for that.

To put it another way, what you said is the equivalent of saying that Hacker News gives you mathematical guarantees of security because it happens to use TLS.