DeepMind AlphaProof Code: важная веха в проверке криптографических протоколов с помощью ИИ

Недавно представленный DeepMind фреймворк AlphaProof Code, объединяющий экспертные знания и ИИ-агентов, впервые позволил ИИ проводить углублённую проверку криптографических протоколов, ознаменовав крупный прорыв в области верификации технологий.