
Ang mga ai agent ay nagtatanggal ng mga patunay sa seguridad mula sa paggawa kamay patungo sa mass production Sinabi ng V12 at Zellic na ito ang unang napanood na patunay na nakakapalibot sa buong pagpapatakbo ng isang x86 program, na sinuri sa raw machine code na tinatawag ng CPU, tulad ng pagsusuri sa gawaing tulay kaysa sa disenyo, at ang isang pangalawang katulad na program ay nangangailangan lamang ng 739 bagong linya. Magiging magandang makakuha ng isang checkable na jaminan sa seguridad tungkol sa sariling compiled program, na may mas kaunting layers na tinatanggap nang walang pag-aalinlangan. Ang paggamit muli ng pinakamahirap na mga bahagi ay nangangahulugan na ang susunod na katulad na program ay kailangan ng mas kaunting gawain para masuri, na maaaring gawing praktikal ang mga serioso at detalyadong patunay sa seguridad sa malaking iskala! Mahalagang tandaan na ito ay kanilang sariling resulta, at kilala nila na ang kanilang x86 model ay nasa pagpapalawak pa at hindi pa binigyan ng audit ng tao, ngunit magiging napakaganda kung ito ay maaaring i-scale

