مقال 3 ===
في الثامن من سبتمبر 2026 نشرت OpenAI إعلاناً تاريخياً: نظام ذكاء اصطناعي داخلي لديها أنتج برهاناً رياضياً لمسألة نافيير-ستوكس للوجود والنعومة، إحدى مسائل جائزة الألفية السبع الشهيرة التي وضعتها مؤسسة Clay عام 2000 وجائزة كل منها مليون دولار، وبقيت هذه تحديداً معلقة نحو تسعين عاماً قبل أن يوضع أمامها هذا الحل. البرهان — المرفق بنسخة مدققة بلغة Lean — يثبت أن ديناميكيات معادلات جريان الموائع ثلاثية الأبعاد يمكن فعلاً أن تطور «تفرداً» (singularity) في زمن منتهٍ. لكن القصة أكبر من نظرية رياضية: عشرة آلاف وكيل ذكاء اصطناعي عملت معاً، وباحثان منافسان كانا يصلان إلى نتيجة موازية في الظلام، واتهامات علنية بالسبق غير النظيف ألقت ظلالاً على الاحتفال. هذا المقال يشرح ما حدث فعلاً، ولماذا يهمك أنت أيضاً.
المصدر: منشور OpenAI الرسمي
ما المسألة أصلاً؟ شرح مبسط لغير الرياضييين
معادلات نافيير-ستوكس، التي صاغها كل من Claude-Louis Navier وGeorge Gabriel Stokes في القرن التاسع عشر، تصف حركة الموائع — الماء والهواء والدم — بمعاملة المائع وسطاً متصلاً بدل تتبع جزيئاته واحداً واحداً، وهي اليوم عمود تصميم الطائرات والتنبؤ الجوي ودراسة تدفق الدم. السؤال المفتوح منذ التسعينيات: هل يمكن لهذه المعادلات أن «تنهار»؟ أي هل يمكن أن يبدأ مائع من حالة سلسة هادئة ثم تتضاعف سرعاته بلا حدود خلال زمن منتهٍ رغم اللزوجة التي تلطف الحركة عادة؟
أثبت جان لياري عام 1934 وجود حلول بصيغة معممة، لكن بقاء الحلول سلسة ظل سؤالاً مفتوحاً حتى سمته مؤسسة Clay عام 2000 واحدة من مسائل الألفية. البرهان الجديد يجيب في اتجاه «الانهيار»: نعم يمكن للتفرد أن يتكون، والحل الذي وجده النظام هو دوامة تلتف إلى الداخل وتستطيل باستمرار — بتشبيه OpenAI نفسه — كالسباغيتي، تتقلص وتتسارع بطريقة تبقي طاقتها الكلية منتهية كما تقتضي قوانين الفيزياء.
القصة الكاملة: من إشاعة إلى برهان في 88 ساعة
التفاصيل التي نشرتها OpenAI نفسها تقرأ كفيلم تسجيلي. في 28 أغسطس 2026 بدأت الشركة تدريب نموذج داخلي جديد تقول إنه أقوى بشكل ملحوظ من GPT-6 Astra — النموذج التجاري الأحدث — وأن أداءه ما زال يتحسن مع استمرار التدريب. يوم الثلاثاء الأول من سبتمبر وصلت الشركة إشاعات بأن مسألتي ألفية حُلّتا، فأطلقت جهداً لتقييم نموذجها على كل مسائل الألفية المفتوحة وغيرها.
النظام الذي أُطلق كان سرباً منسقاً من الوكلاء: مجموعات متفاوتة الأحجام تتواصل داخلياً، بعضها يقرأ نسخة مخبأة من الإنترنت وبعضها ينفذ شيفرة، ومعزولة تحت نفس الضوابط الأمنية المطبقة على تقييمات نماذجها المتقدمة. للمسألة الواحدة وزعت صياغات مختلفة على مجموعات مختلفة — من يقترح حلها بإثبات الوجود ومن بإثبات الانهيار — كي لا تُحسم النتيجة بالتوجيه.
ثم جاءت المفاجأة الأولى: في مهمة «تدريبية» جانبية على مسألة شبيهة، حل الوكلاء مسألة انتظام معادلات أويلر (نسخة نافيير-ستوكس بلا لزوجة) بصيغتها غير القسرية، باستخدام نحو مئة وكيل عملت خمسين ساعة. عندها حشدت OpenAI الموارد كلها نحو نافيير-ستوكس، ووصلت المجموعة الفائزة إلى البرهان يوم السبت 5 سبتمبر، بعد نحو 88 ساعة من انطلاق أول الوكلاء، ثم استغرق تدقيق البرهان وتنقيحه بلغة Lean 17 ساعة إضافية عبر GPT-6 Astra.
الأرقام مذهلة بحد ذاتها: مجموعة نافيير-ستوكس وحدها أرسلت 2.7 مليون رسالة واستهلكت نحو 130 مليار وحدة إخراج، بينما بلغ إجمالي الجهد على كل المسائل 4.9 مليون رسالة و300 مليار وحدة.
المصدر: منشور OpenAI الرسمي
الجانب الآخر من القصة: Alpöge وBuckmaster واتهام «اللعب غير النظيف»
الأيام الأولى من سبتمبر حملت إشاعة ذلك الحل، وقد تبيّن لاحقاً أنها متعلقة بباحثين اثنين: Levent Alpöge من Anthropic وTristan Buckmaster أستاذ الرياضيات في جامعة نيويورك. بعد اكتمال مشروع OpenAI وتدقيق Lean في 6 سبتمبر، تواصلت OpenAI معهما عارضة إعلاناً مشتركاً والاعتراف بأولويتهما — فوجدت أن لديهما حلاً لمسألة أويلر بصيغتها القسرية (وليس نافيير-ستوكس نفسها).
هنا انفجر الجدل. كتب Buckmaster بياناً وثّق فيه اعتراضه على سلوك OpenAI في التعامل مع إنجازه وإنجاز زميله — وهو البيان الذي تصدر نقاشاً واسعاً في أوساط الرياضيين والتقنية، وتناولته تقارير صحفية بعناوين مثل «OpenAI لعبت بشكل غير نظيف على مسألة رياضية صنعت مسيرات». وانتبهت الأوساط العلمية إلى توقيت غريب: الإعلان جاء بعد يومين فقط من وصول الباحثَين إلى نتيجتهما. ردت OpenAI في منشورها بنفي قاطع: لم يرَ باحثوها ووكلاؤها أي عمل للاثنين قبل نشره العلني، ولم يُنفذ أي وصول لبيانات مستخدم محددة لحل المسألة، مع اعتراف متحفظ بأنه «لا يمكن استبعاد» أن بيانات مجهولة الهوية من استخدامهما لمنتجاتها ساهمت في تحسين النماذج. والبرهانان — بحسب الشركة — مختلفان جوهرياً حتى في النتيجة الدقيقة: أويلر قسري عند الباحثين مقابل غير قسري عند وكلاء OpenAI.
درس هذه الرواية للقارئ: في عصر تتسابق فيه أنظمة قادرة على مليارات الخطوات الحسابية، تصبح مسائل الأولوية العلمية والأخلاقيات المهنية أكثر هشاشة، لا أقل. للاطلاع على خلفية قدرة وكلاء OpenAI على العمل المستقل راجع قصتنا السابقة عن حادثة سرب الوكلاء على الويكي الألماني.
هل تحصل OpenAI على جائزة المليون دولار؟ الجواب: لا
هنا يجب التدقيق فيما لم تقله العناوين السريعة. شروط مؤسسة Clay لجائزة الألفية صارمة: نشر الحل في مجلة علمية محكمة، ومرور عامين على النشر، وقبول المجتمع الرياضي العالمي للحل. الأهم من ذلك كله: OpenAI نفسها أعلنت صراحة في منشورها أنها لا تنوي المطالبة بالجائزة، وقالت إن هدفها من النشر هو «إبلاغ العالم بوتيرة التقدم» في قدرات النماذج القادمة، واصفة النتيجة بأنها «لقطة في الزمن» لا تتويجاً نهائياً. أي أن العنوان الدقيق ليس «شركة تفوز بمليون دولار» بل «نظام ذكاء اصطناعي ينتج برهاناً على مستوى مسائل الألفية، والمجتمع الرياضي سيقضي سنوات في التحقق منه».
المصدر: منشور OpenAI الرسمي
مقارنة سريعة: أين يقع هذا الإنجاز بين لحظات الذكاء الاصطناعي الكبرى؟
| الإنجاز | السنة | الجهة | طبيعته | مراجعة الأقران |
|---|---|---|---|---|
| AlphaFold يتنبأ ببنية البروتينات | 2020 | DeepMind | إنجاز علمي تطبيقي | نُشر ونال نوبل 2024 |
| GPT-6 Astra يطلق | 2026 | OpenAI | قفزة نموذج تجاري | نظام تقييم داخلي |
| وكيل بحث آلي يعمل أياماً مستقلة | 2026 | OpenAI | تقرير قدرة تنظيمية | تقرير داخلي |
| برهان نافيير-ستوكس بلغة Lean | 2026 | OpenAI (نموذج داخلي) | إنجاز رياضي نظري على مستوى ألفية | قيد التحقق — Lean متاح، المجتمع يفحص |
الفرق النوعي هنا أن البرهان موثق بلغة Lean — أي قابل للتحقق آلياً خطوة بخطوة — وهذا يمنحه مصداقية تفتقدها معظم ادعاءات القدرات. لكن التحليل البشري العميق للمنهجية والأهمية ما زال مطلوباً وهو جارٍ.
لماذا التوثيق بلغة Lean قد يكون الخبر الأكبر من البرهان نفسه
أغلب ادعاءات القدرات في صناعة الذكاء الاصطناعي تُقاس باختبارات قصيرة يمكن تحضير النموذج لها مسبقاً، لكن البرهان الرياضي لا يقبل التحايل: إما أن كل خطوة تصح أو لا تصح. لغة Lean «مساعد برهان» رسمي يحوّل الرياضيات إلى قواعد منطقية يتحقق منها الحاسوب خطوة بخطوة، فإذا قَبِلَ Lean البرهان فلا مجال لخطأ بشري في السطر رقم المليون كما يحدث في مراجعات المجلات التقليدية التي تستغرق شهوراً وتعتمد على صبر مراجعين متطوعين.
هذا هو التحول الذي يمس طريقة عمل العلم مباشرة: لأول مرة ينتج نظام تجاري الصف وثيقة بحثية على مستوى مسائل الألفية بنسخة يمكن لأي جامعة في العالم التحقق منها آلياً بتكلفة شبه معدومة. الخبر لم يعد «هل تصدق OpenAI؟» بل «افتح ملف Lean واحكم بنفسك». وقد سبق أن استخدمت DeepMind نهجاً مماثلاً في مسائل أولمبياد الرياضيات، لكن الفرق هنا في حجم المسألة: هذه ليست تمريناً جامعياً بل لغز حير أعظم العقول منذ قرن. تبقى للأشراف البشري مهمة لا يحسمها الحاسوب: الحكم على جدة المنهج وأهميته — وهو جارٍ الآن في أوساط الرياضيات.
ماذا يعني تكوّن التفرد عملياً؟ تشبيه يفهمه غير الفيزيائي
تخيل أنك تحرك الملعقة في كوب عسل: الحركة تنتقل بسلاسة لأن اللزوجة — مقاومة المائع للانسياب — تخمد أي دوران مفاجئ. معادلات نافيير-ستوكس تسأل: هل توجد حالة يفشل فيها هذا الإخماد؟ البرهان الجديد يجيب بنعم: دوامة تبدأ هادئة يمكن أن تلتف على نفسها باستمرار فتزداد سرعتها عند مركزها بلا حد أقصى خلال زمن منتهٍ، تماماً كما تنكمش أعلاق السباغيتي حول الشوكة فتدور أسرع كلما صغرت دائرتها.
النتيجة الفلسفية المدهشة أن المعادلات التي نصمم بها الطائرات ونتنبأ بها الطقس تحمل داخلها بذور «جنونها الخاص»؛ إذ توجد شروط ابتدائية ملساء تماماً تقود إلى سلوك غير محدود. عملياً لا يعني هذا أن طائرة ستواجه سرعة لا نهائية — فالفيزياء الجزيئية تتدخل قبل ذلك بمراحل كثيرة — لكنه يرسم الحد الذي عنده تتوقف وصفة «المائع المتصل» عن تمثيل الواقع ويجب الانتقال لوصف الجزيئات فردياً. ومعرفة حدود النموذج إنجاز هندسي بحد ذاتها: تحدد متى نثق بالمحاكاة ومتى نحتاج نظرية أدق.
قراءة في الأرقام: ماذا تخبرنا 2.7 مليون رسالة؟
حين تقول OpenAI إن مجموعة نافيير-ستوكس وحدها تبادلت 2.7 مليون رسالة و130 مليار وحدة إخراج، فالمقارنة العادلة ليست مع باحث فرد بل مع فريق بحثي كامل: الباحث المحترف قد يكتب ألف صفحة في مشروعه كله، بينما هنا استُهلك ما يعادل عشرات آلاف الكتب في 88 ساعة لمسألة واحدة. الرسالة التقنية أن العائق أمام المسائل الكبرى لم يعد الذكاء وحده بل التنظيم: كيف تمنع عشرة آلاف وكيل من التكرار والتناقض وترشدهم نحو تقدم فعلي؟ إجابة OpenAI كانت توزيع صياغات المسألة على مجموعات بمناهج مختلفة ثم انتقاء ما ينجح — بنية تشبه المختبرات البحثية نفسها لكن بسرعة آلية بحتة.
وللعملة وجه آخر طبعاً: كل ساعة من هذا الحساب تكلف طاقة ومالاً، ولا أحد خارج الشركة يستطيع التحقق من ادعاءات الكفاءة الداخلية. لهذا يبقى الرهان الحقيقي على ما سيراه الجمهور حين تصل هذه القدرات إلى منتج مفتوح، وعندها فقط يتحول وصف «أقوى من أسترا» من دعاية إلى رقم قابل للقياس. ولهذا السبب تحديداً يهتم مراقبو الصناعة بهذا النوع من الإعلانات أكثر من عروض المنتجات الاستهلاكية: إنها نافذة نادرة على ما يجري داخل مختبرات مغلقة.
ماذا يعني هذا لك؟
- إذا كنت مهندساً أو باحثاً: نماذج أقوى بكثير من المتاح تجارياً موجودة فعلاً داخل المختبرات، والفجوة بين «المعلن» و«الداخلي» تتسع. خطط لمهاراتك على هذا الأساس — أدوات مسارات الذكاء الاصطناعي والبرمجة في متناولك لتبقى في المقدمة.
- إذا كنت طالب علوم أو رياضيات: طريقة عمل النظام — تفكيك المسألة لصياغات متعددة، مجموعات تستكشف مناهج مختلفة، ثم دمج الرؤى — قابلة للتقليد البشري في مشاريع التخرج والأبحاث، ولو بمقياس أصغر بكثير.
- إذا كنت متابعاً عادياً: الرسالة أن وتيرة القدرات دخلت مرحلة جديدة؛ OpenAI قالتها حرفياً: «نحن الآن في الفترة التالية من تقدم الذكاء الاصطناعي». نفس الشركة التي أطلقت GPT-6 Astra قبل أيام، وأعلنت عن الوكيل البحثي الآلي الذي يعمل يوماً كاملاً في تقريرها حول مسار نحو Astra، تختبر الآن نموذجاً يتجاوزها جميعاً.
- لمن يقلقه الأمر: نفس المنشور قال إن الشركة ستبطئ عمداً حيث يلزم لضمان التوجيه والمساءلة — وقرار عدم المطالبة بالجائزة إشارة على وعي بالمسؤولية، وإن بقي الاختبار في التطبيق.
القيود والشكوك: اقرأها قبل أن تبهرك العناوين
البرهان نشرته الشركة المنتجة له ولم يجز بعد تحكيم مجلة علمية. ادعاء أن النموذج الداخلي «أقوى من أسترا» غير قابل للاختبار المستقل حتى إطلاقه. قصة الأولوية مع الباحثين المستقلين فتحت أسئلة أخلاقية لم تُغلق. وقول الشركة إنها «لا تستطيع استبعاد» انتقال أثر من بيانات استخدام الباحثَين يلخص إشكالية البيانات في عصر النماذج الكبيرة. لا شيء من ذلك يلغي الإنجاز، لكنه يجعل الجملة الآمنة: برهان واعد موثق آلياً، بانتظار محكمة الرياضيات العالمية.
أسئلة شائعة
هل حلت OpenAI مسألة نافيير-ستوكس فعلاً؟
أعلنت OpenAI أنها أنجزت برهاناً — بصياغة بحثية ونسخة Lean قابلة للتحقق الآلي — يثبت إمكانية تكوّن تفرد في زمن منتهٍ في معادلات نافيير-ستوكس ثلاثية الأبعاد، وهو اتجاه الحل الذي تضعه مؤسسة Clay ضمن الصياغتين C وD للمسألة. لكن الجائزة الرسمية تتطلب نشراً محكماً ومرور عامين وقبولاً مجتمعياً، ولم تتحقق بعد هذه الشروط.
ما هي مسائل جائزة الألفية السبع؟
سبع مسائل رياضية كبرى حددتها مؤسسة Clay في باريس عام 2000 لكل منها جائزة مليون دولار: P مقابل NP، وحدس هودج، وحدس بوانكاريه (حلها بيرلمان عام 2003 ورفض الجائزة)، وحدس ريمان، ومسألة نافيير-ستوكس، ونظرية يانغ-ميلز، وحدس بيرش وسوينرتون-داير — أعمق ألغاز الرياضيات التي حيرت القرن العشرين.
ما معنى «تفرد» أو singularity في هذه المعادلات؟
يعني أن سرعات المائع تتضاعف بلا سقف خلال زمن محدود: الدوامة تلتف وتتسارع إلى ما لا نهاية عملياً. وبما أن مائعاً حقيقياً لا يتحرك بسرعة لا نهائية، فإن حدوث التفرد يعني أن المعادلات نفسها توقف عن نمذجة الواقع عند تلك النقطة، ويجب انتقال النموذج لوصف الجسيمات فردياً.
لماذا لن تحصل OpenAI على جائزة المليون دولار؟
لأنها أعلنت صراحة أنها لا تنوي المطالبة بها، ولأن شروط Clay تشترط نشر الحل في مجلة محكمة ومرور عامين على النشر واقتناع المجتمع الرياضي. هدف الشركة المعلن هو توثيق سرعة تقدم قدرات أنظمتها الداخلية، وليس الفوز بالجائزة نفسها.
ما علاقة باحث Anthropic وبروفيسور NYU بالقصة؟
Levent Alpöge من Anthropic وTristan Buckmaster من جامعة نيويورك كانا قد توصلا لحل مسألة أويلر القسرية الموازية، ووصلت OpenAI إشاعات عن إنجازهما قبل إطلاق مشروعها. بعد إتمام برهانها تواصلت معهما لعرض إعلان مشترك، ثم ظهر خلاف علني حول التعامل مع الأولوية العلمية، ونفت OpenAI أي اطلاع على عملهما قبل نشره العلني.
المصادر
- منشور OpenAI الرسمي: On the Navier–Stokes Millennium Prize Problem — المصدر الأولي للبرهان وأرقامه
- مؤسسة Clay للرياضيات: مسائل جائزة الألفية — الشروط الرسمية للجائزة
- The Verge: جدل حول الإنجاز الرياضي — تغطية الجدل الصحفي
- TechCrunch: رياضي NYU ينتقد تعامل OpenAI — بيان Buckmaster وسياقه
نظرتنا: ماذا نراقب في الأسابيع المقبلة
البرهان نفسه سيتحدث عنه الرياضيون شهوراً، لكن العلامة الأسرع زمنياً ستكون إصدارات النموذج الداخلي الذي أنجزه: متى ظهر تجارياً وماذا سيستطيع أن يفعل. بين هذين الحدثين، الفائز الحقيقي اليوم هو فكرة أن أنظمة الوكلاء المنسقة صارت تنتج عملاً علمياً أصيلاً — وهذه ليست بشرى تقنية فحسب، بل تحدٍّ لطريقة عمل البحث العلمي نفسها. تابع معنا التغطية، وابدأ من اليوم بتقوية جاهزيتك المهنية للمرحلة القادمة.