وحش الاستنتاجات الذي تغذى على 340,000 مسار، اسم SU-01 لا يُطلق عليه إلا بشكل متواضع

AIMPACT قدمت طريقة نظامية لتحويل نماذج الاستدلال بعد التدريب إلى حلوليك أولمبي، تتكون من ثلاث خطوات: إجراء ضبط دقيق بالإشراف باستخدام دورة التشكك العكسي لتعزيز البحث عن الإثبات والفحص الذاتي؛ ثم توسيعه عبر مرحلتين من التعلم المعزز؛ وأخيرًا تحسين الأداء من خلال التقييس أثناء الاختبار. تم تطبيقها على العمود الفقري 30B-A3B، باستخدام حوالي 340,000 مسار فرعي 8K للإشراف الدقيق، ثم 200 خطوة من التعلم المعزز، للحصول على النموذج SU-01. يستطيع هذا النموذج إجراء استدلال مستقر على المسائل الصعبة، مع مسارات تتجاوز 100,000 رمز، وحقق مستوى ميدالية ذهبية في مسابقات مثل IMO و USAMO و IPhO، كما أظهر قدرة على تعميم الاستدلال العلمي عبر مجالات غير الرياضيات والفيزياء.