Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

Google DeepMind uses AlphaProof Code to verify key security properties of Signal's implementation

Google DeepMind researchers combined AI agents with human experts to formally verify that Signal's implementation meets specified key security properties. The team says the verification took four weeks. After reintroducing two previously fixed bugs into an isolated version, the system produced machine-checked proofs that both buggy versions were insecure. Scaling the approach requires further research.

2 more sources reported this

• Rohan Paul (@rohanpaul_ai)
• IT之家 科技新闻