Reassuringly, the foundations of security and crypto still hold.

But agentic AI has changed the game: discovering potential vulnerabilities has become cheap (well, relatively; $100k is still more than your average research grant will allow you to do) and fast - verification (expert checking) is the bottleneck.

From the blog post: "[W]ith human review now the bottleneck rather than discovery, [cryptography professor Matthew Green] argues the field needs machine-checkable proofs, not just a solver's word that it looked correct."

https://www.ben-livshits.org/blog/breaking-cryptography

#agentic_ai #llm #security #cryptography #FormalMethods #AutomatedReasoning