أوبن إيه آي» تعلن حسم 10 مسائل رياضية وعلمية عبر نسخة تجريبية من نموذج «أسترا
أعلنت شركة «أوبن إيه آي» تحقيق 10 إنجازات علمية جديدة في مجالات الرياضيات والعلوم الحاسوبية النظرية، أنجزتها نسخة معاينة داخلية من عائلة نماذج الجيل القادم غير المعلنة رسمياً والتي تحمل اسم «أسترا». وتضمنت المخرجات المنشورة ورقة بحثية موسعة تقع في 249 صفحة توثق خطوات الاستدلال الداخلي للنموذج، إضافة إلى شهادات إثبات إلكترونية قابلة للتحقق آلياً بلغة «لين 4» (Lean 4) عبر مستودع مفتوح المصدر على منصة «جيت هب».
وشملت الإنجازات حسم مسائل بحثية معقدة صمدت أمام المحاولات البشرية لعقود طويلة في مجالات الهندسة متعددة الأبعاد، ونظرية الزمر، ونظرية التشفير، وتعقيد الدوائر الحسابية، والتعقيد الكمومي. وكان من أبرز النتائج بناء أول زمرة غير سوفية صريحة (explicit non-sofic group)، وهو ما يحل مسألة جوهرية معلقة منذ 27 عاماً في نظرية الزمر، إلى جانب إثبات بطلان حدسية «كونس» للصلابة في جبر «فون نيومان»، وتقديم تحسينات لأسس تعبئة الكرات في الأبعاد العالية، وحل مسألة المتجه الأقرب (Closest Vector Problem) ذات التطبيقات المباشرة في التشفير المقاوم للحوسبة الكمومية.
ويمثل هذا التطور تحولاً نوعياً في قدرات الأنظمة الذكية، إذ انتقلت النماذج من مجرد حل الاختبارات الأكاديمية والمنافسات المعيارية مثل أولمبياد الرياضيات الدولي، إلى توليد معرفة علمية أصيلة. واعتمد سير العمل البحثي على التعاون التشاركي بين الباحثين والذكاء الاصطناعي عبر ثلاث مراحل، بدأت بتوليد النموذج لسلاسل الاستدلال والأمثلة المضادة، ثم تعاون باحثين بشر من الشركة مع النموذج لصياغة وتنسيق المخطوطة الأكاديمية، وصولاً إلى تحويل البراهين إلى كود برمجي للتحقق الشكلي الآلي، مما يعني أن مسار الوصول إلى النتائج لم يكن مؤتمتاً بالكامل.
وعلى صعيد التكلفة المباشرة، أوضحت الشركة أن إجمالي معالجة الوحدات النصية (tokens) اللازم لتوليد حلول المسائل العشر بلغت قيمته نحو 2,000 دولار أمريكي، بحساب تكلفة قدرة الحوسبة للاستدلال (تكلفة تشغيل النموذج) وفق أسعار الواجهة البرمجية لنموذج «سول» المتاح حالياً، وبمتوسط 200 دولار لكل إنجاز. وترتبط هذه التكلفة بالوحدات النصية المستهلكة في عمليات التوليد الناجحة فقط، ولا تعكس إجمالي ميزانية الأبحاث أو القدرة الحاسوبية المستهلكة في المحاولات الفاشلة. كما شددت الشركة على أن عائلة نماذج «أسترا» تظل غير متاحة للاستخدام العام أو التجاري، حيث تخضع حالياً لمراجعات سلامة لدى الجهات التنظيمية في الولايات المتحدة.
وأشاد متخصصون في مجالات الرياضيات والعلوم الحاسوبية بهذه النتائج؛ إذ أوضح سيباستيان بوبيك، رئيس أبحاث الرياضيات في «أوبن إيه آي»، أن البراهين اتسمت بالأناقة واقترنت بشهادات إثبات رقمية قابلة للتدقيق الآلي. ومن جانبه، وصف توماس بلوم، عالم الرياضيات بجامعة مانشستر، البناء الصريح للنموذج في نظرية الزمر وتعبئة الكرات بأنه محطة مفصلية تتجاوز مجرد البحث السطحي عن أمثلة مضادة. وتأتي هذه الخطوة في ظل منافسة متصاعدة بين المختبرات الكبرى لتطوير قدرات الاستدلال الآلي والاستكشاف العلمي، بالتزامن مع مراجعات أكاديمية مستمرة لمعايير البراهين الرقمية والتحقق البرمجي من صحتها.
Photo by ThisIsEngineering on Pexels / Pexels — مصدر الصورة — الترخيص
