logoalt Hacker News

zkmontoday at 4:26 AM1 replyview on HN

Talking about proofs, there is no proof that just because AI found counter example for a conjecture, it can break math behind cryptography The belief that "if it did A and B it can do C,D,E ,,,Z" is what is driving the current AI hype.


Replies

akoboldfryingtoday at 5:04 AM

> there is no proof that just because AI found counter example for a conjecture, it can break math behind cryptography

Of course there isn't, nothing like that could be formally proven. But that is neither here nor there.

The important issues remain:

1. Whether some as yet unknown technique exists for efficiently breaking a code.

2. If the answer to (1) is yes, whether LLMs can find it at a reasonable cost.

TTBOMK we still don't know anything about (1). I think the answer to (2) is "probably yes".

show 1 reply