تحدي TLA+ المُعجّل بالذكاء الاصطناعي التوليدي: سباق نحو مستقبل التحقق الرسمي
2025-05-06
أطلقت مؤسسة TLA+ و NVIDIA تحديًا يشجع على استخدام الذكاء الاصطناعي التوليدي لتحسين لغة المواصفات TLA+. يمكن للمشاركين استخدام الذكاء الاصطناعي لإعادة هيكلة التعليمات البرمجية، وإنشاء أدوات تطوير، وإنشاء تصورات، وحتى توليد مواصفات. ستقيم لجنة التحكيم الإرساليات بناءً على وظائفها، وأهميتها بالنسبة لنظام TLA+ البيئي، والاستخدام المبتكر للذكاء الاصطناعي. يجب أن تكون جميع الإرساليات مفتوحة المصدر، وقابلة للتكرار، ويكفي نموذج أولي. يهدف هذا التحدي إلى استكشاف إمكانات الذكاء الاصطناعي التوليدي داخل TLA+ وإحياء المجتمع.
التطوير