Viernes 23 de octubre de 2026 ·

Anthropic usa Claude para demostrar matemáticamente que código open source es seguro

Relevancia 56 de 100 Estados Unidos, California

Útil para Programadores 80%

Anthropic, junto con su socio Theorem, usó su modelo Claude para revisar código existente y generar pruebas formales de que funciona correctamente. En pocas semanas produjo unos 180 millones de líneas de código de prueba para programas de 123 bibliotecas open source y encontró cientos de errores. Hasta ahora este tipo de verificación era tan costosa que se usaba solo en casos extremos, como el software de aviónica de Airbus.

Qué significa

Si la IA puede demostrar que un programa es correcto, la verificación formal, hasta ahora reservada a sistemas críticos, podría aplicarse a muchos más programas. El método todavía tiene límites prácticos.

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 ->