مجموعة OpenAI الاستشارية للرياضيات: دورٌ رقابي أم واجهة للتواصل؟

استجابةً للانتقادات التي رافقت ادعاءها بشأن مسألة نافيه–ستوكس، دعمت OpenAI إنشاء المجموعة الاستشارية للرياضيات والذكاء الاصطناعي، التي تستضيفها مؤسسة الدراسات المتقدمة (IAS) في برينستون. تمنح هذه الصيغة رياضيين بارزين قناة رسمية لتقديم المشورة في تقييم النتائج التي ينتجها الذكاء الاصطناعي وطريقة إعلانها.

لكن من المهم ضبط التوقعات: المجموعة هيئة استشارية، وليست مجلة علمية، ولا جهة مستقلة لاعتماد البراهين، ولا جهة تنظيمية تفرض قراراتها على برنامج OpenAI البحثي. 332

ما الذي سبق تشكيل المجموعة؟

في 8 سبتمبر، نشرت OpenAI مخطوطة من 166 صفحة وصياغة رسمية بلغة Lean، مدعيةً أن تدفقاً ثلاثي الأبعاد أملساً لمعادلات نافيه–ستوكس، تحت تأثير قوة خارجية ملساء، يمكن أن يطوّر تفرداً في زمن محدود. وتصف الشركة ذلك بأنه حل لمسألة الوجود والنعومة لمعادلات نافيه–ستوكس. 6

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

وهناك نزاع منفصل يتعلق بالأسبقية ونسبة الفضل العلمي. فقد نشر تريستان باكماستر وليفنت ألبوجه نتائج مرتبطة بمسائل في معادلات الموائع، مع براهين متحقَّق منها في Lean، في الفترة نفسها تقريباً، وأصبح توقيت النشرين وموضوع الإسناد العلمي محل خلاف علني. هذه المسألة تختلف عن سؤال ما إذا كان برهان OpenAI الرسمي يمرّ بالفحص الآلي؛ فهي تتعلق بمصدر الأفكار، وإتاحة العمل السابق، والفضل الأكاديمي المناسب. 1

من هم الأعضاء التسعة؟

تتألف الهيئة التأسيسية من:

• فرانسوا شارل
• كاميلو دي ليليس
• تيموثي غاورز
• مارتن هايرر
• نيخيل سريفاستافا
• أولريكه تيلمان
• رافي فاكيل
• إدوارد ويتن
• ميلاني ماتشيت وود 26

تستضيف مؤسسة الدراسات المتقدمة المجموعة، لكن OpenAI تصفها بأنها تعمل باستقلال عنها. 33

ما الذي تستطيع المجموعة فعله؟

تقول OpenAI إن دور المجموعة يتمثل في تقديم المشورة حول تقييم النتائج الرياضية الجديدة والتواصل بشأنها: من تقدير أهميتها، إلى تنسيق نشرها، إلى إبداء الرأي في المعايير الأكاديمية والمهنية ذات الصلة. 1733

وتتضمن استقلاليتها المعلنة عناصر عملية، منها:

• لا يتقاضى الأعضاء أجراً من OpenAI.
• يمكنهم تقديم مشورة لم تطلبها الشركة.
• يمكنهم التعليق علناً على أثر OpenAI في الرياضيات.
• يمكنهم نشر آرائهم وتوصياتهم.
• يملكون صلاحية تعديل عضوية المجموعة بأنفسهم. 33

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

وما الذي لا تستطيع فعله؟

لا تملك اللجنة سلطة اتخاذ القرار في اتجاه أبحاث OpenAI أو جدولها الزمني. وقد أوضحت الشركة صراحة أن المجموعة لن تقدّم المشورة بشأن سرعة التقدم في أبحاثها الداخلية في الرياضيات. 332

لذلك لا تستطيع المجموعة:

• إيقاف إعلان بحثي من جانب OpenAI؛
• إلزام الشركة بنشر برهان أو نموذج أو سجل بحثي داخلي؛
• فرض تغيير في استراتيجية النشر؛
• تقرير أن ادعاءً رياضياً صار مقبولاً رسمياً لدى المجتمع البحثي؛
• أو حسم نزاع سابق حول الأولوية أو نسب الفضل العلمي بمفردها.

بعبارة مختصرة، تستطيع اللجنة أن تقترح معايير وأن تعلن اعتراضاتها، لكن OpenAI تبقى صاحبة التحكم في نماذجها وسير عملها الداخلي وما تكشفه من أدلة، وفي قبول التوصيات أو رفضها. لذا فهي أقرب إلى جسر بين مختبر للذكاء الاصطناعي والمجتمع الرياضي، لا إلى بديل من مراجعة الأقران المستقلة. 332

لماذا تبقى الاستقلالية والتمثيل موضع سؤال؟

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

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

وقد يعزّز عدم تقاضي الأعضاء أجراً انفصالهم عن الشركة، لكنه يعني أيضاً أن قدرتهم على إجراء مراجعة متواصلة وصارمة ستعتمد على الوقت المتاح لهم وعلى مدى وصولهم إلى المواد الأساسية.

ماذا يعني ذلك لادعاء نافيه–ستوكس؟

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

إنشاء المجموعة لا يغيّر هذا التقسيم الأساسي للأدوار. يمكنها تقديم النصح بشأن كيفية التقييم والتواصل، لكن على رياضيين مستقلين أن يفحصوا المخطوطة والملفات الرسمية والافتراضات وصلتها الدقيقة بالمسألة الأصلية. 332

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

الاختبار الحقيقي: ادعاء أكثر من 100 نتيجة إضافية

تقول OpenAI إن نموذجها الداخلي حل أكثر من 100 مسألة رياضية مفتوحة إضافية، ومن المنتظر أن تساعد المجموعة في الإفراج المسؤول عن تلك النتائج. 3633

ولكي تكتسب هذه العملية مصداقية، يمكن للجنة أن تدفع نحو ترتيب للنشر يتيح تقييماً مستقلاً فعلياً:

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

المجموعة الجديدة، إذاً، تجربة حوكمة ذات دلالة وليست جواباً نهائياً عن الجدل. وستُقاس قيمتها بما إذا كانت توصياتها ستصبح علنية، وبما إذا كانت OpenAI ستوفر أدلة كافية للتحقق الخارجي، وبما إذا كانت الإصدارات القادمة ستمنح المراجعة ونسبة الفضل العلمي أولوية تماثل أولوية الإعلان نفسه.