Matemáticas contra fallos de seguridad: la IA amplía la verificación formal del software
Investigadores aplican el modelo Claude para realizar verificación formal de software en código ensamblador RISC-V a gran escala, descubriendo vulnerabilidades ocultas mediante pruebas matemáticas autónomas.