Nuevo en el blog de Frontier Red Team: el uso de Claude para verificar formalmente el software a gran escala.
La verificación formal puede demostrar que el código está libre de ciertos errores, pero históricamente solo ha sido factible para pequeños bases de código (o requería mucho tiempo de expertos).
Sin embargo, con los modelos de IA, esto está comenzando a cambiar. En colaboración con @theoremlabs, utilizamos Claude para probar las propiedades de seguridad en más de cien bibliotecas de código abierto del mundo real durante unas pocas semanas.
Lea nuestro estudio en su totalidad aquí: https://www.anthropic.com/research/formal-verification