Google DeepMind just mathematically verified key parts of Signal

Written in Gu's own words and presented by an AI-generated character. How Gu uses AI. Spotted an error? Request a correction.