Los agentes de IA están llevando las pruebas de seguridad desde la fabricación artesanal hasta la producción en masa. V12 y Zellic afirman que es la primera prueba publicada que cubre toda la ejecución de un programa x86, verificada sobre el código máquina crudo que ejecuta la CPU, como inspeccionar el puente construido en lugar de su plano, y un segundo programa similar requirió solo 739 nuevas líneas. Sería excelente obtener una garantía de seguridad verificable sobre el programa compilado en sí, con menos capas asumidas como confiables. Reutilizar las partes más difíciles significa que el siguiente programa similar requiere mucho menos esfuerzo para verificarse, lo que podría hacer que las pruebas de seguridad rigurosas sean prácticas a gran escala. Es importante señalar que estos son sus propios resultados, y reconocen que su modelo x86 aún está en desarrollo y no ha sido auditado por un humano aún, pero sería bastante impresionante si esto se puede escalar. https://t.co/CS5gv6j3uz