تقول OpenAI إنها استخدمت الذكاء الاصطناعي لحل إحدى مسائل الألفية. ففي 8 سبتمبر 2026، أعلنت الشركة برهانًا يتعلق بمعادلات نافييه–ستوكس التي نستخدمها لوصف حركة الموائع. وتقول إنها بنت حركة تبدأ دون عدم انتظام ثم تتطور فيها نقطة تفرد: سرعات تنمو بلا حد خلال زمن منتهٍ.
إذا تأكد البرهان، فسيكون تقدمًا هائلًا في سؤال ظل مفتوحًا عقودًا. وقد صاحب الإعلان خلاف مع الرياضيين Tristan Buckmaster وLevent Alpöge حول الأسبقية والتأليف وبيانات البحث. لكن حتى إذا وضعنا هذا الجدل جانبًا، يبقى سبب رياضي لعدم اعتبار المسألة منتهية بالكامل.
يستخدم البناء قوة خارجية. وإثبات أن المائع قد يفقد انتظامه بوجود هذا التدخل لا يحسم، في حد ذاته، ما إذا كان يستطيع فعل ذلك من دونه.
هذا التفصيل مهم لأن الصياغة الرسمية للجائزة تسمح بهذا المسار. فقد نحصل على حل لمسألة الألفية، ونظل دون إجابة عن أحد أكثر الأسئلة طبيعية بشأن المعادلات.
يربط إعلان OpenAI بمخطوطة وبصياغة رسمية للبرهان باستخدام Lean، وهو مساعد للتحقق من البراهين. نناقش هنا نطاق الادعاء؛ ولا نقدم الإعلان أو وجود صياغة رسمية بوصفهما بديلًا عن الفحص الرياضي المستقل.
ماذا يعني أن يفقد المائع انتظامه؟
الماء الجاري في أنبوب والهواء المحيط بطائرة مثالان لحركات ندرسها بمعادلات نافييه–ستوكس. ونستخدم هذه المعادلات منذ أكثر من قرن. ولا تتطلب فائدتها أن نعرف مسبقًا كل ما يمكن أن تفعله في كل حالة متخيلة.
تدرس مسألة كلاي نسخة محددة: مائعًا غير قابل للانضغاط، ذا لزوجة موجبة، في ثلاثة أبعاد. وعدم الانضغاط يعني أن كل جزء صغير يحافظ على حجمه أثناء الحركة. يمكنه أن يتشوه ويدور، لكن لا يمكن ضغطه.
نبدأ بحقل سرعات أملس، دون قفزات أو تفردات ابتدائية. ونعرف كيف نتتبع الحل خلال فترة زمنية على الأقل. والسؤال هو هل يمكن مواصلة ذلك إلى الأبد، أم أن التطور نفسه قد يقطع هذه الملاسة؟ وهذا ما يسمى blow-up، أي الانفجار الرياضي في زمن منتهٍ.
لا نبحث عن صيغة تحسب كل حركة ممكنة للماء. بل نسأل إن كان الوصف الرياضي الأملس قد يتوقف عن الوجود في زمن منتهٍ.
داخل المعادلات نزعتان. اللزوجة تقلل فروق السرعة وتبدد الطاقة. أما الديناميكا غير الخطية فتسمح للحركة بإعادة تنظيم بنيتها؛ وفي ثلاثة أبعاد، قد يزيد تمدد الدوامات من شدة الدوران ويولد مقاييس أصغر.
الصورة الحدسية هي تنافس بين التنعيم والتركيز. والقول إن اللزوجة تنعّم لا يثبت أنها تنتصر دائمًا. كما أن التحكم في الطاقة الكلية لا يكفي للتحكم فيما يحدث في منطقة تتضاءل باستمرار. وهذه الفجوة بين الضبط الإجمالي والسلوك المحلي تقع في صلب شرح تيرينس تاو لصعوبة المسألة.
في صياغة كلاي عدم تماثل مهم
تعرض الصياغة الرسمية لتشارلز فيفرمان أربعة بدائل. وهي تجمع نوعين من النتائج مع إطارين مكانيين:
| النتيجة | الفضاء الكامل | الفضاء الدوري | القوة الخارجية |
|---|---|---|---|
| وجود حلول ملساء لكل الأزمنة | A | B | تساوي صفرًا |
| انهيار الوجود الشامل المطلوب | C | D | مسموحة بشروط دقيقة |
يمكن تخيل الفضاء الدوري كصندوق يتكرر نمطه في جميع الاتجاهات. وهو يتيح دراسة الديناميكا دون إدخال جدران.
التفصيل الحاسم في العمود الأخير. في مسار الانتظام، يجب إثبات أن جميع البيانات الابتدائية المسموح بها تنتج حلولًا ملساء إلى الأبد دون قوة خارجية. وفي مسار الانهيار، يُسمح ببناء مثال مضاد مع قوة خارجية.
لذلك لا يمثل المساران عبارة ونفيها الدقيق. فنفي «كل التدفقات دون قوة تبقى ملساء» هو العثور على تدفق دون قوة يفقد ملاسته. والسماح بالتدخل يوسع فئة الحركات التي يمكن البحث فيها عن مثال مضاد.
برهان يستخدم قوة خارجية لن يدحض، بمفرده، الانتظام العام للحالة الخالية من القوى. وللربط بين النتيجتين نحتاج إلى حجة أخرى. هنا يكمن مصدر عدم الرضا المحتمل: نطاق صياغة الجائزة يختلف عن نطاق السؤال الذي نطرحه عن المائع.
لماذا لا تجعل إضافة قوة النتيجة بديهية؟
الاعتراض معقول: إذا كنا نستطيع التدخل في المائع، ألا نكون قد تسببنا في الانهيار بصورة مصطنعة؟
نحن نختار تدخلًا، لكن لا يجوز تهريب التفرد داخله. فلا يكفي تطبيق قوة تصبح لانهائية، ثم الإشارة إلى أن السرعة تنفجر أيضًا.
كما أن كلمة «ملساء» لا تختصر كل شروط كلاي. ففي الفضاء الكامل يجب أن تتناقص القوة ومشتقاتها بسرعة في المكان والزمان؛ وفي الإطار الدوري توجد دورية مكانية وشروط تناقص زمني. ويجب أن تستوفي القوة الفرضيات حتى عبر لحظة الانهيار المفترضة.
تطرح المبرهنة الرئيسية في مخطوطة OpenAI ادعاءً محددًا: لكل لزوجة موجبة، تبني تطورًا يبدأ من السكون، وتبقى طاقته الحركية محدودة، بينما تنمو سرعاته بلا حد. القوة ملساء ولها حامل متراص في المكان والزمان، أي إنها لا تعمل إلا في منطقة وخلال فترة محدودتين.
تصف المقدمة دوامة تتركز وتتسارع. والتحدي هو موازنة حدود المعادلة بحيث يترك مجموعها قوة منتظمة، رغم أن بعض الحدود ينمو بلا حد. وتسعى التصحيحات التذبذبية في البناء إلى إلغاء الأجزاء المتفردة التي كانت ستظهر في تلك القوة.
هذا وصف للحجة المقدمة، وليس تحققًا من خطواتها. لكنه يوضح لماذا لا يحول السماح بقوة المسألة إلى تمرين سهل: الصعوبة هي الحفاظ على انتظام القوة بينما تفقده الحركة.
السؤال الذي يبقى عندما نكتب f = 0
بعد فهم دور التدخل، تبدو الخطوة التالية مباشرة: إزالته.
في المعادلة لا يتطلب الأمر سوى كتابة f = 0. أما في البرهان فقد يغير ذلك كل شيء. القوة جزء من البناء، وحذفها لا يحافظ تلقائيًا على السلوك الذي حصلنا عليه.
يصبح السؤال: هل تستطيع الحركة الابتدائية، وهي تتطور وفق نافييه–ستوكس دون أي قوة خارجية، أن تولد تفردًا من تلقاء نفسها؟ المثال المضاد الذي يحتاج إلى القوة لا يحسم ذلك.
ويجب أيضًا أخذ الاحتمال الآخر بجدية: ربما تمتلك الحالة الخالية من القوى حماية لا تستمر عند السماح بالتدخلات. ونتيجة الانهيار تحت تأثير قوة، إذا نظرنا إليها وحدها، لا تستبعد هذا السيناريو.
لا يجعل ذلك التقدم صغيرًا. فإثبات أن فئة من التطورات تسمح بالتفردات سيغير معرفتنا بالمعادلات. لكن الاكتشاف التالي سيأتي من فهم أي جزء من الآلية يعتمد على القوة، وهل يمكن الاستغناء عنها، لا من تكرار أن المسألة حُلّت.
إمكان وجود تفرد لا يصف جميع الموائع
إثبات وجود حالة لا يخبرنا بمدى تكرارها. قد يعتمد البناء على شروط شديدة الدقة. وربما تدمر الاضطرابات الصغيرة آليته، أو ربما تحافظ عليها عائلة واسعة من الحركات. الوجود وحده لا يتيح الاختيار بين الاحتمالين.
ولا يعني ذلك أن الماء الحقيقي يصل إلى سرعة لانهائية. نافييه–ستوكس نموذج لوسط متصل. ويتطلب تحويل البناء إلى ادعاء فيزيائي فحص ما إذا كانت فرضياته لا تزال مناسبة عند المقاييس المعنية.
وهناك تمييز مفيد آخر: فقدان الملاسة لا يعني فقدان كل وصف رياضي. فـالحلول الضعيفة تعبّر عن المعادلات بعلاقات تكاملية، وتسمح بانتظام أقل. وتحت شروط مناسبة، تتيح النظرية التي بدأها ليراي وجود حلول ضعيفة شاملة لكل الزمن.
انهيار حل أملس لا يمحو هذه النظرية. بل يفتح أسئلة عن كيفية الاستمرار، وشروط الطاقة التي تبقى محفوظة، والوحدانية التي يمكن إثباتها في فئة الحلول المختارة. وليست كل مفاهيم الحل الضعيف متساوية في ضماناتها.
ما موضوع الخلاف مع الرياضيين؟
للخبر أيضًا تاريخ بشري لا ينبغي محوه. ففي بيانه العلني، يصف Buckmaster تعاونه مع Alpöge بأنه شخصي، رغم أن الأخير يعمل في Anthropic، وينسب الفكرة الأصلية إلى Diego Córdoba وLuis Martínez-Zoroa.
ويقول إن Sébastien Bubeck طلب استبعاد Alpöge من اقتراح للتأليف، ويروي تعليقات عن عواقب إعلان الخلاف على مسيرته المهنية. هذه أقوال Buckmaster عن محادثات خاصة. ويسأل أيضًا إن كانت جلساته في Codex قد دخلت في التدريب، لكنه يوضح أنه لا يعرف إن كانت بياناته قد استُخدمت.
تقر OpenAI بأن الشائعات حول هذه التطورات حفزت مبادرتها. وتنفي الاطلاع على العمل قبل نشره، لكنها لا تستبعد أن تكون بيانات منزوعة التعريف ناتجة عن استخدام منتجاتها قد ساعدت في تحسين النماذج. وتقول إن البراهين مختلفة، وتعترف بأسبقية الباحثين في حالة أويلر مع قوة خارجية. هذا هو موقف الشركة.
تترك الردود مسائل تحتاج إلى توضيح. فالشك بشأن التدريب لا يثبت الاستيلاء على النتائج، وشرح العملية التقنية لا يحسم وحده الادعاءات المتعلقة بالتأليف. التسلسل الزمني، ومصدر الأفكار، والشروط المقترحة على المؤلفين، يحتاج كل منها إلى أدلته الخاصة.
ويمتد هذا التوتر إلى ما هو أبعد من الحالة الحالية: قد يعمل الباحث بأدوات شركة تنافس بدورها لإنتاج تقدم في مجاله. البرهان الصحيح لن يحسم مسألة الثقة تلك. كما أن السلوك غير السليم، إن ثبت، لن يدحض الحجة الرياضية بمفرده.
ينبغي أن يساعدنا الحل أيضًا على الفهم
التقدم لا يأتي من العدم. في شرحه بتاريخ 7 سبتمبر، يضع تاو عمل Alpöge وBuckmaster ضمن مسار سابق بدأه Córdoba وMartínez-Zoroa. والنتائج التي يناقشها تخص معادلات موائع أخرى: الأوساط المسامية غير القابلة للانضغاط، وبوسينسك، وأويلر. تستغني معادلات أويلر عن اللزوجة، ولذلك لا يحل تقدم فيها مسألة نافييه–ستوكس تلقائيًا.
فهم ما يمكن نقله بين هذه المعادلات جزء من القيمة العلمية للبراهين. وكذلك فهم دور القوى، وأي التفردات مستقر، وما الذي يحدث بعد فقدان الملاسة.
ولقبول النتيجة مسار خاص. تشترط قواعد كلاي، قبل النظر في حل مقترح، نشره في جهة تستوفي معاييرها، ومرور عامين على الأقل منذ النشر، وقبوله عمومًا في المجتمع الرياضي. وهذا الإجراء منفصل عن فحص صحة الحجة اليوم.
إذا تأكد البرهان، فسنكون قد تعلمنا شيئًا عميقًا: الشروط المسموح بها في البناء لا تكفي لحماية المائع من التفرد. وسيصبح السؤال التالي ما الذي يسبب الانهيار، وإلى أي حد يعتمد على التدخل الخارجي.
حل المسألة يثبت نتيجة. وفهم البرهان ينبغي أن يتيح لنا تفسير سبب حدوثها ومدى انطباقها. هنا يبدأ عمل لا يستطيع أي عنوان من نوع «حُلّت نافييه–ستوكس» إعلان انتهائه.
المصادر
- OpenAI: الإعلان والرد بشأن العمل المتزامن، 8 سبتمبر 2026.
- OpenAI: مخطوطة «Finite time blowup for Navier–Stokes».
- OpenAI: مستودع الصياغات الرسمية في Lean.
- تشارلز فيفرمان / كلاي: الصياغة الرسمية مع التصويبات.
- كلاي: قواعد مسائل الألفية.
- Tristan Buckmaster: بيان النتائج والمحادثات مع OpenAI.
- تيرينس تاو: صعوبة الانتظام الشامل لمعادلات نافييه–ستوكس.
- تيرينس تاو: تقدم باستخدام قوى ملساء في معادلات ذات صلة، 7 سبتمبر 2026.
