•SiTech AI Team
AlphaProof Code від Google DeepMind математично верифікував криптографічне ядро Signal за чотири тижні
AlphaProof Code від Google DeepMind математично верифікував криптографічне ядро Signal за чотири тижні, роботу, що зазвичай займає роки. Система ШІ перевірила реальний код пристрою та виявила два підкладені баги.