From Ars Technica

Signal’s encryption just passed an AI-powered mathematical checkup

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

Read the full report at Ars Technica ↗