> You can never straight up brute force a full-strength 512-bit key. That's just a fact of the universe.
If there is some number of bits n < 512 where brute forcing an n-bit key is not a "fact of the universe", does it stand that cracking 512 bit keys is also not a fact of the universe?