اعتمدت نهج مشابه للمولد-المتحقق لاستخدام النماذج في أبحاث الفيزياء النظرية. يمكن للخبراء البشريين في حدود العلم تحسين نماذج التحقق إلى درجة أن التشغيل الذاتي قوي جدا حتى في مسائل البحث الواقعية (وليس فقط مسائل رياضية مصطنعة = مسائل موضوعة بشكل جيد يمكن للبشر حلها في زمن محدود). ديب سيك ماث V2 التآزر بين المولد والمتحقق مولد الإثبات وأداة التحقق يشكلان حلقة تغذية راجعة ذاتية التحسين. مع إنتاج المولد لبراهين أكثر تعقيدا، تتحدى هذه البراهين المتحقق من المحقق، كاشفة عن نقاط ضعف تتحول إلى بيانات تدريب جديدة. في البداية، كان الخبراء البشريون يوجهون إعادة تدريب المتحقق من خلال مراجعة المشكلات التي تم الإبلاغ عنها — وهي عملية أصبحت فعالة من خلال توليد عدة محاولات تحقق لكل إثبات. ثبت أن هذا "التحقق الفوقي" (التحقق من نتائج المتحقق بدلا من البراهين مباشرة) أسهل للبشر وأكثر قابلية للتعلم لنماذج اللغة الكبيرة. من خلال توسيع عدد تحليلات المؤكدين والتدريب على هذه التعليقات المدعومة بالذكاء الذكاء الاصطناعي، وصل المتحقق في النهاية إلى مستوى من الموثوقية حيث لم يعد التدخل البشري مطلوبا في التجارب النهائية — مما أغلق الحلقة بين توليد الأدلة الآلية والتحقق.

يصف هذا الانتقال من خط أنابيب أساسي بين مولد-محقق باستخدام نماذج جاهزة، إلى مسار تم فيه تحسين المتحقق نفسه من خلال بيانات تدريب خبراء بشرية تستخدم في التحقق الفوقي.