"y'all are black pilled about computers and security. You believe, incorrectly, that computers can't be safe AND secure AND easy to use all at the same time"
This is basic fact. Man can make it; man can break it. I've never come across anything in my 44 years of life where this wasn't true.
> Man can make it; man can break it.
Man can make mathematical proofs that will not be broken. Man is not going to disprove the Pythagorean Theorem. Software is just hifalutin math. There can exist software that, for a given mathematical specification, can be proven correct, and will not be disproven.
OK, produce a SHA-2 collision.
Why a collision? Abuse it where it is being used. Infect the chain of certificates that guarantees that the hash you are checking is actually the one you want. Send a million legit documents with bad hashes, so that the forged one looks like another legit one. Infect the library that calculates hashes so that these specific documents have a special hardcoded hash.
Because man made SHA-2, so it must be breakable. I don't dispute that there are systems humans make that are breakable (that would be weird given my career).
Well, if you are that picky, then you will have to wait. MD5 was created in 1991, the first collision was found in 2004.