قدمت البرمجة القابلة للتفريق (Differentiable Programming) إمكانيات غير مسبوقة في مجال النمذجة العلمية، مما يُتيح تقدير المعلمات المعتمد على التدرجات، وتحليل الحساسية، ودمج البيانات. ومع ذلك، فإن التحدي الأكبر يكمن في كيفية نقل الأكواد القديمة إلى الإطارات القابلة للتفريق.

قُدم مؤخرًا خط أنابيب مبتكر يقوم على نموذج لغوي ضخم (LLM) يتضمن خمس مراحل لتحويل الأكواد القديمة المكتوبة بلغة فورت ران (Fortran) إلى بيئة JAX الحديثة. يبدأ الخط بعملية تحليل ثابت للاعتماديات لتحديد ترتيب ترجمة الوحدات بناءً على الرسم البياني الكامل للاستدعاءات. ثم تُمكن حلقات التصحيح التكرارية من تصحيح الأخطاء بشكل ذاتي، مما يضمن دقة الأرقام عند مستوى الوحدة قبل الدمج والتحقق من التدرجات.

تم تنفيذ وتقييم هذا الخط على نموذج CLM-ml-v2 المُكون من 19,000 سطر من أكواد فورت ران. كما تم تحليل سلوك الوكلاء عبر 73 مهمة ترجمة للوحدات. النموذج الناتج قادر على حساب جاكوبيان كامل في عملية تراجع واحدة، ويستعيد المعلمات الفيزيائية في ثمانية أضعاف خطوات الاستعادة مقارنةً بطرق تحسين بلا تدرجات، وحقق تسريعًا يصل إلى 24 مرة في الوقت الفعلي مقارنةً بالأكواد التسلسلية لفورت ران عند حجم المجموعة N=2,048.

يؤكد هذا التقدم الكبير على قوة النماذج القابلة للتفريق كأدوات لتعزيز قدرات النمذجة في نظم الأرض، ويتركنا في انتظار ما يمكن أن يحمله المستقبل من حلول مبتكرة.