88 ساعة و10 آلاف وكيل: OpenAI تقول إنها حلّت معادلات نافييه-ستوكس، لكن الأمور بدأت تنقلب ضدها

لم تكن هذه السلسلة الأولى تتناول بعد 88 ساعة أو 10,000 وكيل أو نموذج OpenAI الداخلي. بل هيمنت عليها حالة عدم يقين أخرى: من الذي حل المسألة فعليًا، وبأي ترتيب؟

يشير @TimTeaFan إلى شائعة منافسة تتعلق بـ Anthropic ونظامها Fable:

"ألم تكن هناك شائعات تفيد بأن Anthropic حلّتها باستخدام Fable؟" @TimTeaFan

ولا تحسم إجابة @mark_k المسألة:

"هناك خلاف أو جدل دائر حاليًا." @mark_k

وردًا على سؤال مماثل بشأن هوية الشخص أو الأشخاص الذين توصّلوا إلى الحل، يضيف:

"ليس من الواضح تمامًا حاليًا مَن الذي حلّها بالضبط. ربما توصّل الطرفان إلى الحل بصورة مشتركة." @mark_k

التباين بين سلسلتي المنشورات هو جوهر الخبر. قبل إعلان OpenAI، كان النقاش يدور حول شائعة، وAnthropic، والأسبقية، وهوية الأشخاص أو المختبرات المعنية. وبعد هذا الإعلان، حوّلت OpenAI الشائعة إلى ادعاء مؤسسي مدعوم بأرقام وتفاصيل تقنية، من دون الإجابة عن أسئلة نسبة الحل ومصدره التي كانت سلسلة منشورات @mark_k قد أثارتها بالفعل.

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

نافييه-ستوكس، المسألة الكامنة وراء الشعار

تُعد معادلات نافييه-ستوكس أساسية في ميكانيكا الموائع. فهي تصف تطور مائع، مثل الهواء أو الماء أو الغاز، من خلال الربط بين عدة كميات:

• سرعة المائع، الممثلة بحقل يتغير في المكان والزمان؛
• الضغط، الذي يقيّد الحركة ويعيد توزيعها؛
• اللزوجة، أي الاحتكاك الداخلي للمائع؛
• القوى الخارجية، مثل الجاذبية أو غيرها من المؤثرات المطبّقة؛
• قيد عدم الانضغاط، في الحالة الكلاسيكية لمائع غير قابل للانضغاط.

وفي صيغة مبسطة، تُكتب معادلة كمية الحركة على النحو الآتي:

[ \partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f ]

هنا، تمثل (u) السرعة، و(p) الضغط، و(\nu) اللزوجة، و(f) القوى الخارجية. وبالنسبة إلى مائع غير قابل للانضغاط، تُضاف عادةً الحالة (\nabla \cdot u = 0).

تختزل هذه الرموز القليلة ديناميكا بالغة التعقيد. فالحد غير الخطي ((u \cdot \nabla)u) يعبّر عن أن المائع ينقل سرعته الذاتية. وهذا أحد المصادر الرئيسية للصعوبة: إذ يمكن للحركات على مقياس معين أن تغذي الحركات على مقاييس أخرى، وأن تشوّهها وتضخّمها.

السؤال الحقيقي في ثلاثة أبعاد: انتظام شامل أم تفرّد؟

لا تقتصر مسألة الألفية على السؤال عما إذا كان من الممكن محاكاة تدفق ما. بل تطرح سؤالًا يتعلق بـ الانتظام الشامل في ثلاثة أبعاد.

انطلاقًا من بيانات ابتدائية ملساء بما يكفي، هل يمكن إثبات أن الحل يظل أملس طوال الزمن؟ أم يمكن أن يُكوّن تفرّدًا خلال زمن منتهٍ، وهي ظاهرة تُسمّى غالبًا blow-up؟

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

يمكن تلخيص الصعوبة على النحو الآتي:

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

إن هذا الضبط الشامل بين التركّز غير الخطي والتبديد اللزج هو ما ظل عصيًا على الحل منذ قرابة تسعة عقود.

لماذا استعصت معادلات بهذه البساطة على الحل كل هذا الوقت؟

المعادلات قصيرة. أما الاضطراب فليس كذلك.

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

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

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

جائزة الألفية لنافييه-ستوكس: ما الذي يتطلبه التحقق من الحل

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

ويشمل ذلك خصوصًا:

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

يطبّق معهد Clay Mathematics Institute معاييره الخاصة للاعتراف رسميًا بحلّ إحدى مسائل الألفية. ويجب، على وجه الخصوص، أن يُنشر البرهان في دورية مؤهلة، وأن يحظى بقبول عام داخل المجتمع العلمي المعني، ثم أن يجتاز فترة من التدقيق.

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

البرهان الصحيح لن يوفّر تنبؤات جوية مثالية

من أكثر ردود الفعل بداهةً، لكنها مضللة، الربط المباشر بين معادلات Navier-Stokes والتنبؤ الدقيق بالطقس.

"أخيرًا، سأعرف يقينًا ما إذا كانت ستمطر غدًا في لندن أم لا" @ChShersh

هذه الخلاصة لا تترتب على الإعلان. فحلّ المسألة النظرية المتعلقة بالانتظام لن يؤدي فجأة إلى تنبؤات جوية مثالية.

تعتمد التنبؤات الجوية، على وجه الخصوص، على:

• قياسات أولية ناقصة ومشوشة؛
• نماذج مترابطة تشمل الرطوبة والسحب والإشعاع والتفاعلات بين الأرض والغلاف الجوي؛
• بارامترات فيزيائية؛
• حسابات عددية متقطعة بالضرورة؛
• الحساسية للظروف الابتدائية التي تتسم بها الأنظمة الفوضوية.

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

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

التقدير العلمي، النقطة العمياء في المنشور الرئيسي

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

يصوغ @Quasilocal الاعتراض بصورة مباشرة:

"حسنًا، لكن ألا ترغبون، مثلًا، في ذكر Tristan Buckmaster وLevent Alpöge في التغريدة الفعلية التي تنسبون فيها الفضل إلى أنفسكم، بدلًا من ذكرهما في تغريدة اقتباس منفصلة لا ترتبط بها هذه التغريدة؟" @Quasilocal

هذا النقد محدد. فهو لا يتعلق فقط بافتراض وجود إشارة إليهما في موضع آخر، بل يستهدف غياب Tristan Buckmaster وLevent Alpöge عن الرسالة التي تنسب النتيجة إلى OpenAI علنًا.

لم ترد OpenAI علنًا على هذا الاعتراض في سلسلة المنشورات. وفي المقابل، يواصل @calebcterry هذه المطالبة بالتقدير، واضعًا النتيجة ضمن مسار رياضي أطول:

"بعد إجراء مزيد من البحث في هذا الأمر، أعتقد أن الإسهام البشري جدير بالذكر أيضًا. حسب فهمي، جاءت هذه النتيجة ثمرة سنوات من العمل الذي أجراه Diego Córdoba وLuis Martínez-Zoroa لتطوير المنهج الأساسي، ثم استخدم Tristan Buckmaster وLevent Alpöge النماذج اللغوية الكبيرة لدفع ذلك البحث إلى آفاق أبعد بكثير، وصولًا في نهاية المطاف إلى صياغة النتيجة رسميًا والتحقق منها." @calebcterry

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

ويستخلص @X_is_Arbitrary من ذلك نتيجة أكثر حدة:

"يبدو هذا جريئًا للغاية. إذا كان ما يدّعيه علماء الرياضيات صحيحًا، فهذا لا يؤدي إلا إلى تعزيز الادعاءات بأن الذكاء الاصطناعي عاجز عن ابتكار أفكار جديدة. فقد احتاج إلى عالِمَي رياضيات لامعين ليخبراه بكيفية حلّ المسألة." @X_is_Arbitrary

هذا التفسير غير مُثبت استنادًا إلى العناصر المتاحة للعامة. ومن المستحيل، انطلاقًا من هذه السلسلة، تحديد نصيب كلٍّ من Diego Córdoba وLuis Martínez-Zoroa وBuckmaster وAlpöge وأدوات LLM التي استخدمها هؤلاء الباحثون ووكلاء OpenAI من الابتكار بدقة. لكن الاستمرارية بين الأعمال البشرية السابقة والنتيجة التي يزعم الوكلاء التوصل إليها تمثل قضية محورية، وليست مجرد تفصيل تواصلي.

لا ينسب المنشور الرئيسي لـOpenAI الفضل إلى أي باحث بشري بالاسم، في حين تجعل الردود من هذا الغياب محور الخلاف العلني الرئيسي.

جلسات Codex: اتهام خطير غير مُثبت

يتخذ الجدل منحى أكثر خطورة مع إثارة تساؤلات بشأن جلسات Codex محتملة مرتبطة بالباحثين.

يسأل @Mmorgan_ML:

"هل درّبتم نموذجكم على جلسات Codex الخاصة بـBuckmaster & Alpöge أم لا؟" @Mmorgan_ML

ويطرح @melqartvantyrus السؤال نفسه في جوهره. أما @ArtemR فيذهب أبعد من ذلك بنقله اتهامًا باحتمال سرقة الأبحاث:

"لكن هل غشّت OpenAI من خلال سرقة البحث؟" @ArtemR

من الضروري التمييز بين الحقائق والشكوك. تُظهر هذه الرسائل أن الاتهام متداول، لكنها لا تثبت أن OpenAI استخدمت بصورة غير مشروعة جلسات Codex أو ملاحظات أو بيانات خاصة أو أعمالًا تخص Buckmaster وAlpöge.

لا تتضمن المحادثات المعروضة أي رد من OpenAI، أو أي توضيح تقني بشأن بيانات التدريب ذات الصلة، أو أي عنصر يؤكد ذلك. كما لم يُعرض محتوى المقال الخارجي الذي استشهد به @ArtemR.

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

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

ما يكشفه هذا الإعلان عن أحدث ما توصل إليه المجال

لا يتمثل العنصر الأحدث في إعلان OpenAI Navier-Stokes في كلمة «حل» وحدها، بل في المنظومة المُعلن عنها: نحو 10,000 وكيل ذكاء اصطناعي منسَّق، عملوا على مدى 88 ساعة، بالاستعانة بـنموذج داخلي من OpenAI قُدِّم على أنه أكثر قدرة من GPT-6 Astra.

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

لكن تحويل الاكتشاف إلى عملية صناعية يثير مسألة تتعلق بالحوكمة. ويصوغها @CircumjovialLLC بلا مواربة:

"ليس من المقبول استخدام نماذج خاصة دُرِّبت على مجمل التراث الرياضي للبشرية لحل مسائل مفتوحة، في حين أن هذه النماذج أكثر قدرة بكثير مما أتحتموه، وليست متاحة لجميع الباحثين. هذا إقطاع تقني يقود إلى استبداد فكري." @CircumjovialLLC

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

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

ما ينبغي استخلاصه، وما لا يزال بحاجة إلى إثبات

قد يكون إعلان OpenAI تاريخيًا. إذ يزعم المختبر التوصل إلى حل لمسألة Navier-Stokes خلال 88 ساعة بواسطة نحو 10,000 وكيل ذكاء اصطناعي منسَّق، باستخدام نموذج داخلي قُدِّم على أنه أقوى من GPT-6 Astra. وهذا ادعاء رسمي ومفصل، خلافًا للسلسلة السابقة التي نشرها @mark_k، والتي لم تنقل سوى شائعة والتباس بشأن المؤلفين المحتملين.

لكن عدة أسئلة حاسمة لا تزال مفتوحة:

1. أين يوجد النص الكامل لبرهان Navier-Stokes؟
2. من هم الخبراء المستقلون الذين راجعوه؟
3. هل يستوفي بدقة معايير مسألة جائزة الألفية؟
4. ما الدور المحدد الذي أدّاه الوكلاء: الابتكار، أم الاستكشاف، أم الصياغة، أم إضفاء الطابع الرسمي، أم التحقق؟
5. كيف ستنسب OpenAI مساهمات Córdoba وMartínez-Zoroa وBuckmaster وAlpöge وأي باحثين آخرين محتملين؟
6. ما البيانات والمواد التي استُخدمت لتدريب النموذج الداخلي أو توجيهه؟
7. هل ستتلقى التساؤلات بشأن جلسات Codex إجابة علنية وتقنية وقابلة للتحقق؟
8. ما مدى وصول المجتمع العلمي إلى النتائج والأساليب وظروف الحوسبة؟

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