( -_-) on Nostr: That's only proving that it's hard for the most efficient classical algorithm we ...That's only proving that it's hard for the most efficient classical algorithm we currently know of. It hasn't been proved *for any/all* algorithms.