وجد مدقق الذكاء الاصطناعي خطأ من استغلال إعادة الإمداد تم تدقيق البروتوكول من قبل شركتين رئيسيتين لمراجعة الحسابات ، وكلاهما لم تقم بحل المشكلة. كنت أتابع مسعى تدقيق الذكاء الاصطناعي هذا المسمى @savantchat لذلك كنت مهتما إذا كان سيكتشف السبب الجذري. لقد حددت بشكل صحيح الشيكات المفقودة لسعر صفر أو كبير للغاية (>1e36) ، لكن تقييم ما يفعله كان متناقضا. في العدد 3 تقول إن سعر الصرف 0 يتجاوز شيكات الملاءة المالية ، ولكن في العدد 4 يقول إن نفس القيمة تجعل كل مقترض معسرا على الفور. لا تزال هذه نتيجة مثيرة للإعجاب وتظهر أن المدقق البشري الذي يعمل مع أداة الذكاء الاصطناعي من المحتمل أن يكتشف هذه المشكلة. نأمل قريبا أن يكون لدينا مدققو ذكاء اصطناعي حتى كجزء من خط أنابيب CI. شكر خاص ل @igorgulamov على تشغيل هذا من أجلي.