DeepMind says Gemini agents mathematically verified Signal's crypto protocol in 4 weeks
Polymarket · x · 2026-11-11
Breaking via Polymarket: Google DeepMind announced its Gemini agents have 'mathematically verified' Signal's cryptographic protocol in just 4 weeks.
If accurate, a landmark result for AI agents in formal verification and cryptographic analysis.
More from Models
- Codex safety filter flags developer's hobby git forge app as cybersecurity risk — brianmichel · 2026-11-11
- DeepSeek's open-source coding agent DSH statistically ties for first on HF Harness Leaderboard — TheZachMueller · 2026-11-11
- US open-source models will dominate thanks to profitable business models — marktenenholtz · 2026-11-11
- NVIDIA open-sources GR00T 2 robot model running real dexterous chem lab demos — EricBuess · 2026-11-11
- Price cut, bill up 31%: new model's self-checking eats Anthropic's token discount — tengyanAI · 2026-11-11
- US data vendors accused of selling RL environments to Chinese military-linked firms — xeophon · 2026-11-11