Google DeepMind mathematically verifies key parts of Signal

Google DeepMind completed a four-week project that mathematically verified key parts of Signal, according to Ars Technica. The work hints that AI could make formal verification far more practical, though the report provides no further technical details.