AI
DeepMind's AI agents formally prove chunks of Signal in four weeks
Google DeepMind researchers used AI agents to mathematically prove several of the Signal protocol's key cryptographic guarantees in four weeks. Formal proof is finally picking up speed, but nobody knows what it costs or whether it scales.