Google DeepMind has introduced AlphaProof Code for software verification

The Google DeepMind team has announced the launch of AlphaProof Code, a system designed for the deep verification of complex software systems using mathematical proofs.

As a demonstration of the technology's capabilities, specialized AI agents wrote three million lines of proofs in the Lean system. These mathematical calculations were used to rigorously verify the security and correctness of the source code for Signal messenger's core encryption.

The new tool combines machine learning methods with formal verifiers, allowing for the automation of the routine and time-consuming process of manual theorem proving in software development.

The development is intended to fundamentally change the approach to securing critical infrastructure, reducing the likelihood of hidden vulnerabilities in secure communication protocols at the compilation stage.