AlphaProof Code

Google DeepMind's AI agents formally verify Signal's encryption in four weeks, a task that would take human experts years

Google DeepMind says its new AlphaProof Code framework used AI agents to produce more than six million lines of machine-checked proof verifying the security of Signal's cryptographic code, down to the level of the compiled machine code.