Viernes 23 de octubre de 2026 ·

Anthropic y Theorem usan Claude para demostrar que 239 puntos de entrada de prueba de 123 bibliotecas de código abierto no fallan

Relevancia 52 de 100 Estados Unidos, California

Útil para Programadores 75%

Anthropic y Theorem anunciaron el 22 de octubre de 2026 que Claude demostró matemáticamente, bajo condiciones especificadas, que 239 puntos de entrada de prueba de 123 bibliotecas de código abierto no provocan errores. Los investigadores reutilizaron pruebas existentes de OSS-Fuzz de Google en lugar de escribir especificaciones desde cero. Las demostraciones asumen un ejecutable y un entorno concretos y no garantizan que los programas siempre terminen.

Qué significa

Muestra que la verificación formal, antes muy costosa y reservada a expertos, puede aplicarse a software existente a gran escala. Las garantías se limitan a las condiciones definidas y no cubren la seguridad de bibliotecas completas ni el uso en PC o servidores habituales.

Fuentes originales

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

También ese día

Todas las noticias de IA del viernes 23 de octubre de 2026 ->