Google DeepMind·· há 4 diasNota da IA87
Google DeepMind apresenta AlphaProof Code, que verificou o código do protocolo Signal
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI Panorama
O Google DeepMind apresentou o AlphaProof Code, um framework agêntico que combina especialistas humanos e agentes de IA para verificação formal de software.
Fonte:Google DeepMind · deepmind.google