Jueves 22 de octubre de 2026 ·

Anthropic y Theorem verifican formalmente 123 bibliotecas de código abierto con Claude

Relevancia 76 de 100 Estados Unidos, California

Útil para Programadores 65%

Anthropic, junto a la firma Theorem, presentó el 22 de octubre de 2026 una investigación en la que Claude generó pruebas formales verificadas por máquina de propiedades de seguridad a nivel de ensamblador RISC-V. Las pruebas cubren 239 puntos de entrada de fuzzing en 123 bibliotecas de código abierto y se generaron en unas pocas semanas. Claude también corrigió errores encontrados durante las demostraciones, entre ellos un CVE redescubierto en libexpat.

Qué significa

Los desarrolladores de bibliotecas de código abierto y los equipos que las integran pueden pasar de confiar en tests a disponer de pruebas formales de ausencia de fallos de memoria bajo condiciones concretas. Anthropic publica parte de las pruebas en GitHub, lo que permite revisarlas. La verificación cubre solo las especificaciones elegidas y no equivale a ausencia de errores.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

Relacionadas

También ese día

Todas las noticias de IA del jueves 22 de octubre de 2026 ->