Google DeepMind's AI Agents Prove Signal's Core Code in Four Weeks

DeepMind's AlphaProof Code generated 6.5 million lines of machine-checked Lean proofs for Signal's libsignal in four weeks, with humans writing none of the proof code.