The English edition is being prepared.

Google DeepMind Uses AI Agents to Verify Signal’s Core Machine Code