أوبن إيه آي» تعلن حسم 10 مسائل رياضية وعلمية عبر نسخة تجريبية من نموذج «أسترا
أعلنت شركة «أوبن إيه آي» نجاح نسخة داخلية تجريبية غير معلنة من جيلها القادم من النماذج، والمسماة مبدئياً نموذج «أسترا» (Astra)، في توليد براهين رياضية وأمثلة مضادة جديدة حسمت 10 مسائل معقدة وغير محلولة في مجالات الهندسة، ونظرية المجموعات، وعلم الحاسوب النظري، والتشفير، والتركيبيات. وأوضحت الشركة، في ورقة بحثية أصدرتها في الأول من أغسطس الجاري، أن المسائل الـ10 ظلت دون حل أو لم تشهد أي تقدم في حدسياتها الرئيسية لفترات تراوحت بين 10 سنوات و80 عاماً، مؤكدة أنها تحققت من صحة الحلول آلياً باستخدام نظام «Lean 4» لإثبات النظريات.
وشددت «أوبن إيه آي» على أن نموذج «أسترا» ما زال خاضعاً للاختبارات البحثية المغلقة وغير متاح حالياً للمطورين عبر الواجهة البرمجية أو للمستخدمين عبر تطبيق «شات جي بي تي». وتعتمد المعمارية التقنية للنموذج على أنظمة الذكاء الاصطناعي المعتمدة على وكلاء متعددين (multi-agent systems)، حيث تعمل نسخ استدلالية متخصصة بالتنسيق فيما بينها على معالجة الأهداف المعقدة عبر أطر زمنية طويلة تمتد لساعات أو أيام، خلافاً للنماذج التقليدية التي تستجيب لمطالبة واحدة.
وللتغلب على مشكلة الهلوسة المنطقية التي تعاني منها النماذج اللغوية عند صياغة البراهين باللغة الطبيعية، استخدمت الشركة النموذج لترجمة حججه الرياضية غير الرسمية إلى كود برمجي دقيق بلغة Lean 4 التي تعمل كمدقق آلي يضمن السلامة المنطقية للبراهين. ونشرت الشركة شهادات إثبات رسمية قابلة للتحقق آلياً على منصة «غيتهاب»، إلى جانب شرح تفصيلي يوضح مسار الاستدلال الداخلي للنموذج (chain-of-thought). وتضمنت النتائج بناء مجموعة غير سوفيتية بوضوح لحسم مسألة مفتوحة طرحها عالم الرياضيات ميخائيل غروموف عام 1999، ودحض حدسية «كون» لصلابة الجبر بتقديم مثال مضاد، وإثبات حدسية «إيرهارت» للحجم عبر مختلف الأبعاد، فضلاً عن تحسين الحدود التقاربية لتعبئة الكرات والتشفير القائم على الشبكات.
وعلى الرغم من اجتياز الفحوصات البرمجية الآلية، أكد الباحثون أن البراهين المنشورة في مخطوطة علمية مكونة من 249 صفحة ما زالت تنتظر مراجعة الأقران المستقلة من مجتمع الرياضيات الأوسع، لضمان مطابقة التعريفات الصورية التي صاغها النموذج للحدسيات التاريخية الأصلية. وأوضحت الشركة أن إعداد الورقة العلمية تم بجهد مشترك، حيث تولى علماء رياضيات بشر تنظيم المخرجات الأولية للنموذج وإعادة صياغتها في قالب أكاديمي متماسك.
وفيما يتعلق بالتكلفة المالية للتجربة، ذكرت «أوبن إيه آي» أن الاستخدام المفترض لـ الوحدات النصية (tokens) المطلوب للوصول إلى حلول المسائل الـ10 بلغت قيمته نحو 2000 دولار وفق أسعار الواجهة البرمجية لنماذجها الحالية، بينما يقدّر الخبراء تكلفة تشغيل النموذج (inference cost) على العتاد بأقل من 1000 دولار. إلا أن المحللين أشاروا إلى أن هذا الرقم لا يمثل التكلفة الحقيقية الشاملة للاكتشاف، نظرًا لأن الشركة لم تفصح عن عدد مسارات البحث التجريبية أو جلسات الاستكشاف الموازية التي فشلت قبل الوصول إلى هذه النتائج الناجحة.
ويأتي إعلان «أوبن إيه آي» في زخم تنافسي واسع بين مختبرات الذكاء الاصطناعي لتطوير قدرات الاستدلال العلمي الآلي، بعد أيام من استعراض شركة «أثروپيك» لنتائج نموذجها التجريبي «مايثوس»، وفي مقابل نهج «جوجل ديب مايند» المعتمد على نماذج مخصصة لمسابقات الرياضيات مثل «ألفا بروف». كما تتزامن هذه الخطوة مع مخاوف يعبرها المجتمع الأكاديمي بشأن تجاوز القواعد التقليدية للنشر العلمي، وكان أبرزها «إعلان ليدن» الصادر عن علماء رياضيات دوليين في يونيو الماضي.
ومن المنتظر أن تشكل التكنولوجيا المستخدمة في «أسترا» فئة جديدة عالية القدرات ضمن منتجات الشركة المستقبليّة، وسط تقارير تشير إلى دراسة طرحه إما كإصدار متقدم ضمن عائلة «جي بي تي-5» أو كجيل جديد باسم «جي بي تي-6». وستتجه الأنظار في المرحلة المقبلة إلى التقييمات المستقلة التي سيصدرها مجتمع الرياضيات بعد مراجعة المخطوطة الشاملة ورموز الإثبات المتاحة للعلن.
صورة: HaeB — CC BY-SA 4.0 — Wikimedia Commons — الترخيص
