DeepMind's AlphaProof Code, powered by Gemini Carbon agents, formally verified the cryptographic core of the Signal messaging app in four weeks, work that typically takes years.
Google DeepMind verifies Signal's cryptographic core in four weeks
DeepMind's AlphaProof Code, powered by Gemini Carbon agents, formally verified the cryptographic core of the Signal messaging app in four weeks, work that typically takes years.
Monitoring item. The full text is not distributed. Extract and source below.