AlphaProof Code ile tanışın: karmaşık yazılımların derinlemesine doğrulanmasında çığır açan bir gelişme
Özgün başlık: Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code temsilcileri, Signal'in temel şifrelemesini doğrulamak için Lean'da üç milyon satırlık kanıt yazdı.
AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.
Los agentes de AlphaProof Code escribieron tres millones de líneas de pruebas en Lean para verificar el cifrado central de Signal.
Агенты AlphaProof Code написали три миллиона строк доказательств в Lean для проверки основного шифрования Signal.
✳ Bu özet ve çevirisi Base of AGI tarafından otomatik derlendi.
Orijinal Kaynak Metni (deepmind.google) ↗
Akış içinde yorumlarla aç