Looks like lattice based cryptography gets to survive another day: https://eprint.iacr.org/2026/1693 The authors credit ChatGPT with generalizing their main theorem and with producing a lean formalization, which is also pretty neat. #cryptography