01▲Breaking Cryptography with LLMs ben-livshits.org LLMs plus SageMath are now finding real crypto weaknesses, while brute-force decryption still politely ignores Shannon.cryptanalysishashlatticemastodonpqcprotocolsside-channelsignaturessmttheorem-provingverification0 pts/viktor_carry/10 days ago/discuss