ماذا يحدث عندما نضع واحدة من أصعب المسائل الرياضية في التاريخ أمام عشرة آلاف عقل اصطناعي في الوقت نفسه؟ في 8 أيلول 2026 أعلنت شركة OpenAI أنها توصلت إلى حل لمسألة «وجود ونعومة نافييه–ستوكس»، إحدى مسائل الألفية السبع التي وضعها معهد كلاي للرياضيات في عام 2000، ورُصدت جائزة قدرها مليون دولار لمن يقدم حلًا مقبولًا لها. ظلت المسألة مفتوحة لنحو تسعين عامًا، وهي لا تسأل ببساطة عن حركة الماء أو الهواء، بل عن سؤال رياضي أعمق بكثير: هل يمكن لمعادلات نافييه–ستوكس، التي تصف حركة الموائع، أن تبدأ بحركة ناعمة ومنتظمة ثم تصل، في زمن محدود، إلى حالة تصبح فيها سرعة المائع غير محدودة رياضيًا، أي إلى ما يسمى «التفرد»؟
ولفهم أهمية ذلك، يكفي أن نعرف أن معادلات نافييه–ستوكس تقف خلف جزء أساسي من فهمنا لحركة الموائع، وتدخل في نمذجة تدفق الهواء حول الطائرات، وحركة المياه، والطقس، وجريان الدم. ومع ذلك، بقيت مسألة رياضية أساسية معلقة: هل تظل الحلول في الحالة ثلاثية الأبعاد منتظمة إلى الأبد، أم يمكن أن تنهار هذه الانتظامية في لحظة محددة؟
بحسب OpenAI، استخدمت التجربة منظومة من نحو 10 آلاف وكيل ذكاء اصطناعي يعملون بالتوازي، قادرين على تبادل النتائج فيما بينهم واستخدام أدوات للبحث وتشغيل البرمجيات. وبعد بدء العمل في 1 أيلول، وصلت المجموعة التي أنتجت النتيجة إلى حلها في 5 أيلول، أي بعد نحو 88 ساعة فقط. ثم استغرق تحويل البرهان إلى صيغة رسمية والتحقق منها باستخدام نظام Lean نحو 17 ساعة إضافية. وخلال المشروع الخاص بنافييه–ستوكس تبادل الوكلاء نحو 2.7 مليون رسالة واستخدموا قرابة 130 مليار رمز من مخرجات الذكاء الاصطناعي.
والنتيجة التي أعلنتها الشركة أكثر غرابة من مجرد «إجابة». فقد قالت إن النظام وجد بناءً رياضيًا يبدأ فيه المائع بحالة منتظمة، ثم يتشكل داخله دوّار يلتف إلى الداخل ويتمدد على محوره، إلى أن تتطور السرعة نحو قيمة غير محدودة خلال زمن محدود، مع بقاء الطاقة الكلية محدودة. وبعبارة أبسط، تشير النتيجة المعلنة إلى أن المعادلات نفسها قد تسمح بانهيار الانتظام الرياضي لحركة المائع تحت شروط معينة.
لكن هنا يجب أن نتوقف قليلًا. هذا ليس بعدُ إعلانًا بأن معهد كلاي قبل الحل ومنح الجائزة. OpenAI قدمت برهانًا تحليليًا وصياغة رسمية له في Lean، لكن النتيجة تحتاج إلى فحص مستقل من علماء الرياضيات قبل أن تصبح حقيقة رياضية مقبولة على نطاق واسع. ولهذا فالأدق اليوم أن نقول إن OpenAI أعلنت أنها حلت مسألة نافييه–ستوكس، لا أن المسألة أُغلقت رسميًا.
والمثير هنا لا يتعلق بالمسألة الرياضية وحدها. فهذه المرة لم يكن الذكاء الاصطناعي آلة حاسبة تنتظر سؤالًا من عالم بشري ثم تعطيه جوابًا؛ بل عملت آلاف الوحدات بصورة متوازية، تبحث في اتجاهات مختلفة، ثم تجمع النتائج وتعيد توجيه البحث حتى يظهر مسار واعد. وإذا تأكدت صحة النتيجة، فنحن أمام لحظة مهمة في تاريخ الرياضيات: لم تعد الآلة تساعد الإنسان على إجراء الحسابات فحسب، بل بدأت تشارك في البحث عن البنية الرياضية نفسها.
وربما يكون السؤال الأكثر إثارة الذي تتركه هذه القصة لنا ليس: هل تستطيع الآلة حل مسألة عمرها تسعون عامًا؟ بل سؤالًا أصعب: إذا أنتجت الآلة برهانًا صحيحًا لا يستطيع معظم البشر فهمه بالطريقة التي يفهمون بها البراهين التقليدية، فهل يكفي أن يكون البرهان صحيحًا حتى نعدّه معرفة رياضية؟ > المصدر: OpenAI، 8 أيلول 2026، ومعه تغطية Nature وCNBC
الذكاء الاصطناعي، نافييه–ستوكس، مسائل الألفية، الرياضيات، OpenAI، الذكاء الاصطناعي والرياضيات، معادلات الموائع، البحث العلمي، البرهان الرياضي، Lean، مستقبل الرياضيات
