تقوم وكلاء الذكاء الاصطناعي بتحويل أدلة الأمان من الطريقة اليدوية إلى الإنتاج الجماعي. يقول V12 و Zellic إن هذا أول دليل منشور يغطي تشغيل برنامج x86 كامل، تم التحقق منه على شفرة الآلة الخام التي تشغلها وحدة المعالجة المركزية، كأنك تفحص الجسر المبني بدلاً من المخطط، واحتاج البرنامج الثاني المماثل فقط إلى 739 سطرًا جديدًا. سيكون من الجيد الحصول على ضمان أمان قابل للتحقق بشأن البرنامج المُركب نفسه، مع تقليل طبقات الثقة المطلوبة. إعادة استخدام الأجزاء الأصعب تعني أن البرنامج المماثل التالي سيتطلب جهدًا أقل بكثير للتحقق منه، مما قد يجعل أدلة الأمان الصارمة قابلة للتطبيق على نطاق واسع! من المهم ملاحظة أن هذه نتائجهم الخاصة، وهم يعترفون أن نموذج x86 الخاص بهم لا يزال قيد التطوير ولم يُراجع بعد من قبل إنسان، لكن سيكون رائعًا جدًا إذا تمكن هذا النهج من التوسع. https://t.co/CS5gv6j3uz