La IA y los problemas difíciles del mundo · Informática teórica · Anthropic · 2026-10-22
Los LLM hacen viable la verificación formal de software a una escala mucho mayor
Título original: LLMs are making formal software verification feasible at a much larger scale
Claude demostró formalmente propiedades de seguridad en el código compilado de 123 bibliotecas de código abierto, trabajando a nivel de ensamblador RISC-V. Mientras escribía las demostraciones, también encontró errores que habían pasado desapercibidos durante años a pesar de pruebas exhaustivas.