For decades, software security has meant manually finding bugs faster than attackers do. AI and formal methods may finally break that cycle. If machines can now handle the proof work that once took decades of human effort, cryptographic guarantees stop being a research curiosity and start being becoming a fundament breakthrough that transforms encyrption security forever.
No proof, however rigorous, can fully capture the complexity of constantly-updating real-world code running on real-world hardware. Heartbleed was a single rogue variable in an implementation nobody had formally modelled, rather than an inherent design flaw. Signal runs on millions of different devices, operating systems, and network conditions, making Signal Shot a commendable but near-impossible mission.
There is a 50% chance that AIs will program programs that can program AIs by April 2028, according to the Metaculus prediction community.
© 2026 Improve the News Foundation.
All rights reserved.
Version 7.4.1