Google DeepMind just mathematically verified key parts of Signal

The four-week project hints that AI could make formal verification far more practical.

To respect copyright, we link to the source rather than republishing the full text. Read the complete article on Ars Technica.