OpenAI تدّعي العثور على برهان لانفجار معادلات نافير–ستوكس

ما الذي تدّعيه OpenAI تحديداً؟

أعلنت OpenAI ادعاءً استثنائياً في الرياضيات: تقول إن نظاماً داخلياً غير مُتاح للعامة، شغّل نحو 10 آلاف وكيل ذكاء اصطناعي متزامن، توصّل إلى برهان يثبت أن بعض حلول معادلات نافير–ستوكس غير القابلة للانضغاط في ثلاثة أبعاد قد تُصاب بـ«تفرد» خلال زمن منتهٍ. ووفق الشركة، استغرق تشغيل الوكلاء قرابة 88 ساعة، ثم استغرق تحويل البرهان إلى صيغة رسمية والتحقق منه بمساعد البرهان Lean 17 ساعة أخرى. 17

لكن الوصف الدقيق الآن هو: برهان مُدّعى ومتاح للفحص، لا حلٌّ معتمد نهائياً. فقد نشرت الشركة عرضاً مكتوباً ومواد Lean للتدقيق، فيما يحتاج القبول الرياضي الخارجي وإجراءات جائزة معهد كلاي إلى وقت. 126

ما هي معادلات نافير–ستوكس، وأين تكمن العقدة؟

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

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

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

لماذا قد يكون ذلك حدثاً تاريخياً؟

تُعد مسألة وجود ونعومة نافير–ستوكس واحدة من مسائل جائزة الألفية السبع التي أطلقها معهد كلاي للرياضيات، مع صندوق جوائز قدره 7 ملايين دولار، أي مليون دولار لكل مسألة. 1820

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

تقول OpenAI إن بناءها يثبت العبارتين C وD من الصياغة، وهما بديلان للانفجار المحدود الزمن مع قوة خارجية ملساء، في الحالتين الإقليدية والدورية. 17 وإذا صمد هذا الادعاء أمام مراجعة الخبراء وطابق كل شروط المسألة، فقد يصبح هذا ثاني مسائل الألفية التي تُحل بعد حدسية بوانكاريه؛ إذ كان يُشار إلى ست مسائل متبقية عند إعلان OpenAI. 1118

تحقق Lean مهم، لكنه ليس الكلمة الأخيرة

Lean هو مساعد برهان: يفحص ما إذا كانت نتيجة رسمية تتبع من التعريفات والبديهيات والنتائج السابقة التي جرى ترميزها في النظام. لذلك، فإن نجاح التحقق فيه دليل ذو وزن على عدم وجود فجوة منطقية في الصياغة الرسمية التي فحصها Lean. 17

لكن ذلك لا يلغي الحاجة إلى فحص رياضي بشري ومستقل، ومن أسئلته:

• هل تعبر النظرية الرسمية بدقة عن إعداد نافير–ستوكس المدّعى؟
• هل نُقلت الحجة المكتوبة إلى التعريفات الرسمية على نحو سليم؟
• هل تتحقق جميع شروط مسألة معهد كلاي؟
• وهل يقبل المجتمع الرياضي الأوسع البرهان؟

الفرق جوهري: فالحاسوب يتحقق من صحة الاستدلال داخل كائن رسمي محدد، لكنه لا يقرر بمفرده ما إذا كان ذلك الكائن يجيب عن كل المقصود من مسألة الجائزة.

لماذا لم تمنح مؤسسة كلاي جائزة المليون دولار؟

لا يقبل معهد كلاي تقديم حلول مقترحة إليه مباشرة. وقبل أن ينظر في أي حل، تشترط قواعده نشره في منبر مؤهل، ومرور سنتين على الأقل منذ النشر، ونيله قبولاً عاماً في مجتمع الرياضيات العالمي. 26

لذا، حتى لو تبيّن في النهاية أن برهان OpenAI صحيح، فإن منح الجائزة فوراً لا ينسجم مع القواعد المنشورة. والوصف الأدق حالياً هو أنه حل مرشح شديد الأهمية يخضع للتدقيق، لا إنجاز فاز بالجائزة. 126

التفصيل الحاسم: تدفق بقوة خارجية أم من دونها؟

تخلط بعض النقاشات بين سؤالين. فالنسخة الشائعة في العرض المبسط تسأل عما إذا كان تدفق ثلاثي الأبعاد أملس من دون قوة خارجية يمكن أن يفقد انتظامه تلقائياً. أما البناء الذي تعلن عنه OpenAI فيستخدم قوة خارجية ملساء. 3435

هذا فرق مهم علمياً، لكنه لا يُسقط الادعاء تلقائياً من إطار معهد كلاي، لأن الصياغة الرسمية تتضمن بدائل تستخدم قوة ملساء سريعة التلاشي. 1735 وبالتالي، المسألة الفاصلة ليست مدى تطابق البرهان مع الصياغة الشعبية الضيقة، بل ما إذا كان يفي بكل متطلبات البديل الرسمي المعني.

نزاع حول الأولوية واستخدام البيانات

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

واتهم باكماستر OpenAI بالسعي إلى ترتيب تعاون يستبعد ألبوغه بسبب ارتباطه بـAnthropic. كما أثار تساؤلات عما إذا كانت تفاعلات الباحثين مع منتجات OpenAI، ومنها Codex، قد أسهمت في تدريب النماذج. 25052

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

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

ما الذي ينبغي مراقبته الآن؟

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

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