Google DeepMind's AlphaProof Code Verifies Signal Encryption Down to Machine Code — 6.5M Proof Lines in Four Weeks
Google DeepMind has mathematically proven that the Signal Protocol's encryption holds all the way down to compiled machine code — generating 6.5 million lines of formal proof in four weeks, a task that would have taken expert teams years.