Post

Nadim Kobeissi
@nadim.computer

I think this is the most important paper I’ve written in quite a while, I would really appreciate discussion and feedback: eprint.iacr.org/2026/2441

eprint.iacr.orgNobody Will Read the Lean: A Case for High-Level Cryptographic LanguagesIn September 2026, an AI produced a Lean proof of Fermat's Last Theorem in eleven days, and AI provers have started on cryptography. Within a few years, an AI may hand you a machine-checked proof that...

1 repost5 likes

No replies yet.