في عالم الذكاء الاصطناعي، يتمثل أحد أكبر التحديات في تصحيح الأخطاء في الأنظمة متعددة الوكلاء، حيث لطالما كانت دقة هذه الأنظمة تقف عند حدود 95% على المقاييس القياسية. لكن الآن، مع ظهور نظام VeriTrace المبتكر، يبدو أن الأمور تتغير. يعتمد هذا النظام على نماذج لغوية ضخمة (Large Language Models) ويقدم نهجًا جديدًا لاستكشاف الأخطاء زمنياً.

ما يميز VeriTrace هو إتاحة نطاق كامل من إجراءات تصحيح الأخطاء، مما يسمح لوكيل Inspector بإجراء فحص شامل، مع تحكم مستقل على اختيارات الإشارات وحدود النوافذ الزمنية وعمق التكرار. يتيح هذا النظام للوكيل تخمين أسباب الفشل وفحص أدلة الموجات، مما يجعل تجربة التصحيح أكثر استكشافاً وتأملًا على غرار ما يقوم به المهندسون البشر.

لقد تمكن VeriTrace من تحقيق دقة 100% في اختبار VerilogEval-V2، ليصبح بذلك أول نظام يصل إلى أداء وظيفي كامل في هذا المقياس. وعلاوة على ذلك، تمكن النظام من تجاوز أفضل المعايير المعروفة بنسبة 5.1%، ليظهر كيف يمكن للتصحيح أن يسد الفجوة الإجمالية في الدقة.

بفضل تقنية استكشاف الزمن وكفاءة الذكاء الاصطناعي، يبدو أن VeriTrace تمهد الطريق لمستقبل أكثر دقة في تصميم الدوائر الإلكترونية، حيث تتقاطع أبحاث الذكاء الاصطناعي مع التطبيقات الصناعية بشكل متطور.