من المراجعة خطوة بخطوة إلى الإثبات المنهجي، كانت انتقال نمط عملية التطوير أسرع مما كان متوقعًا

قال مدير Ramp AI Guptا، إن النماذج الكبيرة في المستقبل ستجعل البرمجة بمثابة مترجم من اللغة الطبيعية إلى الكود، وسيتم قلب المنطق التقليدي للتطوير رأسًا على عقب. مع تقدم النموذج في دقة الكود وتعقيد المخرجات، ستتراجع أهمية الكود النظيف والمراجعة السطرية، ويمكن التحقق من الوحدات ذات المخاطر المنخفضة في صندوق رمادي داخل بيئة محاكاة، مع التركيز على الإثبات المنهجي وإدارة الدين التقني بشكل نشط. تقلل الذكاء الاصطناعي من تكلفة إعادة الهيكلة، ويمكن للفريق قبول كود أكثر تكرارًا مقابل تحسين طفيف في الأداء، وأصبحت المراجعة/الدمج عائقًا. قال بوريس تشيرني، مؤسس Claude Code، إنه يوافق على ذلك، وأن العمل الأساسي هو تصميم شبكة أمان للنماذج الكبيرة والمحققين.