A Google DeepMind AlphaProof Code rendszere négy hét alatt matematikailag ellenőrizte a Signal eszközökön futó kriptográfiai alapkódját, ami hagyományosan évekig tartana. A Gemini Carbon ügynökei több mint hatmillió sor Lean-bizonyítást írtak, és a kód mintegy 1 szá