برهان OpenAI لنافييه–ستوكس ينتظر تدقيقًا وسط نزاع أولوية
نشرت OpenAI في 8 سبتمبر 2026 مخطوطة رياضية وصياغة رسمية في Lean، وقالت إنهما تثبتان إمكان نشوء تفرد خلال زمن محدود في معادلات نافـييه–ستوكس ثلاثية الأبعاد. ويصنف التوثيق التقني للنتيجة البرهان بوصفه ادعاءً قيد المراجعة، لا حلًا قبله معهد كلاي أو تحقق منه المجتمع الرياضي نهائيًا.
حتى 9 سبتمبر لم يكن عالم رياضيات من خارج المشروع قد أعلن إكمال فحص مستقل للبرهان، وكانت تغطية إل باييس تشير إلى أن مراجعة نتيجة بهذا الحجم قد تستغرق أشهرًا. وفي الوقت نفسه، نشأ خلاف علني بشأن الأفكار السابقة التي قادت إلى المسار المستخدم ومن يستحق الفضل فيها؛ لذلك فالحدث هو نشر مرشح لحل مسألة الألفية، وليس إغلاقها رسميًا.
ما الذي يدّعي البرهان إثباته؟
الادعاء لا يعني إيجاد صيغة تحل كل تدفق للماء أو الهواء. البناء يبدأ بسائل ثلاثي الأبعاد أملس وساكن، تُطبّق عليه قوة خارجية ملساء، ثم تتطور سرعته بلا حد خلال زمن محدود مع بقاء طاقته محدودة. التفرد هنا هو فقدان الحل الرياضي لنعومته، لا انفجارًا ماديًا رُصد في تجربة.
بهذا البناء تستهدف المخطوطة البديلين C وD في الصياغة الرسمية لمسألة الألفية. وهما يسمحان بإثبات الانهيار تحت قوة خارجية ملساء، في مقابل البديلين اللذين يسألان عن استمرار الحلول الملساء. هذه القوة جزء من نص الادعاء وليست تفصيلًا يمكن حذفه: البرهان لا يثبت انهيار معادلات نافـييه–ستوكس اللزجة غير المدفوعة.
ولا تترتب على النتيجة طريقة مباشرة لحساب تدفق حول جناح طائرة أو داخل وعاء دموي أو في نموذج للطقس. تلك المسائل تتطلب شروطًا ابتدائية وحدودية وحلولًا عددية تخص كل حالة. ما يُدّعى إثباته أضيق: وجود مثال تقبله إحدى صيغ المسألة، يبدأ منتظمًا ثم يفقد الانتظام في وقت محدود.
ماذا يثبت فحص Lean، وماذا يترك مفتوحًا؟
Lean مساعد لإثبات النظريات. تُكتب التعريفات والفرضيات والنتيجة بلغة رسمية، ثم تتحقق نواته من أن كائن البرهان يطابق العبارة المطلوبة اعتمادًا على القواعد والمكتبات المحددة. قبول الملف يجعل سلسلة الاستدلال قابلة لإعادة الفحص آليًا ويقلل مساحة القفزات المخفية في نص نثري طويل.
لكنه لا يقرر وحده أن العبارة المشفرة هي بالضبط المسألة التي يقصدها علماء الرياضيات. على المراجعين مقارنة التعريفات الرسمية بصياغة معهد كلاي، وفحص الفرضيات والمكتبات، والتأكد من أن المخطوطة التحليلية والملف الرسمي يثبتان النتيجة نفسها. كما يحتاج المشروع المنشور إلى إعادة بناء مستقلة، لا مجرد نجاحه في البيئة التي أعدها أصحابه.
لهذا توجد طبقتان مختلفتان: التحقق الصوري يسأل إن كانت النتيجة تتبع من المقدمات المكتوبة داخل النظام، أما التحقق العلمي المستقل فيسأل إن كانت تلك المقدمات والتعريفات تطابق المسألة الأصلية وما إذا كان باحثون آخرون يستطيعون إعادة الفحص وقبول الحجة. وجود ملف Lean مهم، لكنه ليس شهادة قبول من معهد كلاي ولا بديلًا من المراجعة الرياضية.
كيف بدأ نزاع الأولوية؟
وفق رواية OpenAI المحدثة في 10 سبتمبر، بدأت الشركة المحاولة في 1 سبتمبر بعد سماع شائعة اتضح لاحقًا ارتباطها بعمل Levent Alpöge وTristan Buckmaster؛ ووصل وكلاؤها إلى النتيجة في 5 سبتمبر بعد نحو 88 ساعة، ثم استغرقت صياغة Lean والتحقق منها 17 ساعة إضافية. وتقول الشركة إنها لم تطّلع على عمل الباحثين قبل نشره، وإن تحقيقها خلص إلى أن مطالبات Buckmaster في Codex خلال الشهرين السابقين لم يكن ممكنًا أن تؤثر في النظام، بما في ذلك عبر التدريب.
كان Alpöge وBuckmaster يعملان على نتائج انهيار محدودة الزمن في مسائل قريبة من نافـييه–ستوكس، ومنها معادلات أويلر المدفوعة بقوة خارجية. وتقر OpenAI بأسبقيتهما في تلك النتيجة، لكنها تقول إن برهانها الخاص بأويلر غير مدفوع وإن مسار نافـييه–ستوكس الذي نشرته مختلف بدرجة كبيرة.
في المقابل، أثار Buckmaster أسئلة عن توقيت اندفاع الشركة إلى المسألة، واستخدامه السابق لـCodex في بحث غير منشور، ومحادثات التأليف التي تلت اتصال OpenAI به. كما برز خلاف على إدراج Alpöge، الذي يعمل لدى Anthropic، في أي نشر مشترك. هذه روايات متنازعة؛ المواد العلنية تثبت وجود الخلاف والتسلسل الزمني العام، لكنها لا تثبت انتحالًا ولا تحسم أن فريقًا واحدًا يملك كل الفضل.
لماذا لا يحسم توقيت النشر الفضل العلمي؟
قد تتوزع الأولوية في الرياضيات بين من ابتكر الآلية الأساسية، ومن أثبت حالة وسيطة، ومن نقلها إلى معادلة أصعب، ومن أكمل التفاصيل أو صاغها رسميًا. وفي هذه القضية لا تتطابق النتائج المتزامنة: أويلر تختلف عن نافـييه–ستوكس بوجود اللزوجة، كما أن المسألة المدفوعة بقوة خارجية تختلف عن النسخة غير المدفوعة.
لذلك يحتاج الحكم إلى مقارنة المخطوطات والتواريخ والاعتمادات التقنية، مع فصل أولوية الفكرة عن أولوية البرهان الكامل. سرعة النشر لا تمنح وحدها ملكية المسار الفكري، لكن التشابه بين اتجاهين بحثيين لا يثبت وحده النسخ أيضًا. وقد يتغير توزيع الفضل حتى إذا صمد برهان OpenAI، لأن صحة النتيجة وأصل مكوناتها سؤالان منفصلان.
ما الحالة الحالية للنتيجة؟
المتاح الآن هو مخطوطة علنية، ومشروع Lean يمكن للمتخصصين فحصه، وادعاء محدد بوجود انهيار محدود الزمن تحت قوة خارجية ملساء. غير المتاح هو إجماع مستقل منشور على سلامة البرهان ومطابقته الكاملة لشروط المسألة، أو قرار من معهد كلاي بأن مسألة الألفية حُلت.
وبذلك يبقى العنوان دقيقًا في حدوده: برهان OpenAI ينتظر التدقيق، ونزاع الأولوية قائم من دون حكم نهائي. المرحلة التالية ستتحدد بما ينشره خبراء المعادلات التفاضلية والتحقق الصوري من إعادة بناء أو اعتراضات، وبمقارنة موثقة بين الأعمال السابقة والمخطوطة الجديدة.
اقرأ أيضًا:
اشترك في نشرتنا الإخبارية
احصل على أحدث أخبار الويب 3 والذكاء الاصطناعي والعملات المشفرة مباشرة في بريدك.