يقدم الباحثون ProofCouncil، وهو وكيل LLM مصمم لمعالجة المشكلات الرياضية المفتوحة باستخدام بنية المؤلف-الناقد. عمل النظام كإدخال للدفعة الثانية من FirstProof، وهي تحدٍ يتضمن 10 مشكلات رياضية واقعية يجب على الوكلاء حلها بشكل مستقل.
- تم الحكم على إدخالات ProofCouncil لـ 6 من مشكلات FirstProof العشرة بأنها صحيحة حتى مع إجراء تعديلات طفيفة فقط، محققةً أفضل أداء بين الفرق المشاركة.
- في تقييم لـ 30 مشكلة مفتوحة من قبل الباحثين، حُكم على 5 حلول بأنها صحيحة تمامًا و2 منها واعدة بانتظار التحقق النهائي.
- احتوت 8 حلول إضافية على تقدم جزئي مفيد، مع إصدار مكتبة بناء الوكلاء كمصدر مفتوح.
يعتقد المؤلفون أن هذا مهم لأنه يوضح أن سير العمل الوكيل المخصص للممارسة الرياضية الواقعية يمكن أن يحسن أداء LLM في المهام المعقدة.