Viernes 23 de octubre de 2026 ·
Los LLM hacen viable la verificación formal de software a gran escala: Claude prueba seguridad en más de 100 bibliotecas
Útil para
Anthropic, en colaboración con Theorem, usó Claude para demostrar propiedades de seguridad a nivel de código ensamblador (RISC-V) en más de 100 bibliotecas de software de código abierto. Según los autores, es el primer esfuerzo a gran escala de aplicar IA a verificación formal de software en producción a ese nivel. Durante la escritura de las pruebas, Claude también encontró errores que habían pasado inadvertidos durante años pese a billones de ejecuciones de tests.
Qué significa
La verificación formal, que antes exigía años de trabajo experto, podría aplicarse a proyectos reales y ofrecer garantías de que el código está libre de ciertos fallos, en lugar de depender solo de pruebas.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- Hacker News (historias con mas de 100 puntos)Leer la noticia completa en Hacker News (historias con mas de 100 puntos)
También ese día
Todas las noticias de IA del viernes 23 de octubre de 2026 ->