Updated

Google DeepMind used AI to mathematically verify key parts of Signal, the encrypted messaging app. Ars Technica reported that the four-week project was completed on November 11, 2026. The project suggests AI could make formal verification of software far more practical. Formal verification proves that software behaves as intended, and it is typically slow and costly. Ars Technica said the work hints at a broader role for AI in checking security-critical code.