DeepMind verifica el cifrado de Signal con agentes de IA
DeepMind dice haber verificado el cifrado de Signal en cuatro semanas Google DeepMind aseguró que un equipo de cinco investigadores y un enjambre de agentes de inteligencia artificial verificaron formalmente el núcleo criptográfico de Signal en unas cuatro semanas, un trabajo que según la compañía suele exigir años de especialistas. El sistema, bautizado AlphaProof Code …









