Anthropic sostiene que Claude ayudó a verificar propiedades de seguridad en 123 bibliotecas de código abierto en unas pocas semanas, un trabajo que tradicionalmente podía exigir años de especialistas. La iniciativa apunta a ampliar el acceso a pruebas matemáticas de seguridad, aunque sus resultados dependen de qué propiedades se definan y de la posibilidad de reproducir el proceso. ***