October 23, 2026 Opus 5.5 genera 180 millones de líneas de pruebas formales para 123 librerías de código abierto Verificación FormalLLMAnthropicSeguridad de la Cadena de Suministro de Software