«كوجينتيك»: إطار وكلاء متعددين لاكتشاف البراهين الرياضية يحل خمس مسائل علمية مفتوحة

كشف فريق بحثي يضم يانغ تساي وفينيت غوبتا ويانتشن جيانغ وكريستوفر لياو وأراناك ميهتا وغريغوريس فيليغكاس ودي وانغ عن إطار عمل جديد يحمل اسم «كوجينتيك» (Cogentic)، صُمم لتنسيق الوكلاء المتعددين بهدف اكتشاف البراهين الرياضية آلياً في المسائل البحثية المفتوحة والمعقدة في مجالات الرياضيات وعلوم الحاسوب النظرية.

تنطلق الورقة المنشورة عبر منصة «أركايف» من حقيقة تقنية دقيقة: النماذج اللغوية الرائدة قادرة على توليد أفكار رياضية قوية في محاولة واحدة، لكن التوليد أحادي الضربة يعجز تماماً أمام المعضلات العلمية المفتوحة. فهذه المسائل تتطلب استكشاف فرضيات وتخمينات متنافسة في آن واحد، وتجاوز عقبات تقنية دقيقة تعترض مسار الحل، والاحتفاظ بالتقدم المرحلي على أفق زمني طويل دون فقدان الخيط البرهاني.

يقوم إطار «كوجينتيك» على معمارية تجمع بين التوزيع والتنظيم الدقيق، حيث يعتمد حلقة تكرارية بين إثبات النتائج والتحقق منها. يتولى منسق رئيسي توزيع مجموعة من وكلاء البرهان المستقلين على مسارات رياضية متباينة، ثم تُعرض مخرجاتهم على فحص عدائي صارم تتولاه مكونات تخصصية متعددة للتحقق من سلامة كل خطوة. والنتائج الجزئية التي تثبت صحتها تُرحل مباشرة إلى سجل دائم وموثق، لتصبح نقطة انطلاق ترتكز عليها الجولات اللاحقة من الاستدلال، مما يمنع الوكلاء من الدوران في مسارات دائرية أو تكرار المحاولات العقيمة.

أثمر هذا الإطار، بالاعتماد على «جيميني» كنموذج أساسي، عن تحقيق نتائج مبتكرة في خمس مسائل بحثية مفتوحة توزعت بين نظريات التعلم الآني، ونظرية المزادات، وتصميم الآليات. وقد خضعت جميع هذه النتائج لفحص وتدقيق مستقلين من خبراء متخصصين في المجالات المعنية، وصيغت تفاصيلها الكاملة في أوراق بحثية مرافقة، ما ينقل استخدام الذكاء الاصطناعي من مستوى المساعدة الروتينية إلى إنتاج المعرفة الرياضية الصرفة.

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

أرى كرئيسة تحرير أن نجاح «كوجينتيك» يوجّه بوصلة الكفاءات المطلوبة في المنطقة نحو تخصصات تصميم الآليات والتحقق البرمجي الرسمي، بدلاً من حصر الكوادر في التطويع السطحي للنماذج. خطوتك العملية اليوم هي مراجعة مسارات التحقق في مشاريع الوكلاء داخل مؤسستك: إن لم تكن تملك حلقة تدقيق تفكك مخرجات النموذج وتلزمها بسجل موثق، فأنت تكرر مخاطر المحاولة الواحدة التي تجاوزها البحث العلمي.