Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core code in four weeks, a process that typically takes years. AI agents powered by Gemini Carbon wrote more than six million lines of proof code and flagged only about one percent for human review. Deepmind plans to extend the method to critical infrastructure like power grids and medical devices.
Selection record
AdmittedSum of both 176 ≥ twice the threshold 152
- Source tier
- Media and individuals; this tier's threshold is 76
- Pre-filter
- passed：AlphaProof Code用AI智能体验证加密代码
- Why it was chosen
- DeepMind used AI agents to formally verify Signal's cryptographic core, with figures for the time taken and the share flagged for human review that can be compared with conventional verification workflows.
- Same event
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: The Decoder · the-decoder.com