Les agents IA transforment les preuves de sécurité de la fabrication artisanale à la production de masse. V12 et Zellic affirment qu'il s'agit de la première preuve publiée couvrant l'exécution complète d'un programme x86, vérifiée sur le code machine brut exécuté par le CPU, comme inspecter le pont construit au lieu du plan, et un second programme similaire n'a requis que 739 nouvelles lignes. Ce serait idéal d'obtenir une garantie de sécurité vérifiable sur le programme compilé lui-même, avec moins de couches prises pour acquises. Réutiliser les parties les plus complexes signifie que le prochain programme similaire nécessitera beaucoup moins d'efforts pour être vérifié, ce qui pourrait rendre les preuves de sécurité rigoureuses pratiques à grande échelle ! Il est important de noter que ces résultats sont les leurs, et ils reconnaissent que leur modèle x86 est encore en développement et n'a pas encore été audité par un humain, mais ce serait assez impressionnant si cela pouvait être étendu. https://t.co/CS5gv6j3uz