أعلنت شركة OpenAI في مطلع سبتمبر 2026 أن نماذجها الحسابية أنتجت حلاً لمعضلة رياضية تاريخية تتعلق بمعادلات حركة السوائل المعروفة باسم مشكلة نافير–ستوكس، وهي إحدى مسائل «جوائز الألفية» الرياضية التي بقيت دون حل قرابة 90 عامًا. الإعلان أثار اهتماماً علمياً واسعاً سريعاً وأدى إلى جدل حول زمن الإعلان ومن يستحق الاعتماد والاعتمادات العلمية.
ماذا أعلنت OpenAI؟
نشرت OpenAI بياناً رسمياً تشرح فيه أن جهودها البحثية، التي ضمّت تشغيل شبكة وكيلة كبيرة من النماذج والبحث برُمجيًا، أدت إلى برهنة مُشكَّلة ذات صلة بمسألة نافير–ستوكس. قالت الشركة أيضا إنها لا تنوي المطالبة بجائزة «ألفية» الماليّة، وأنها اعتمدت نسخة آلة-قابلة للفحص (formalized proof) كجزء من مخرجاتها.
ما هي معادلات نافير-ستوكس؟
وتُعد معادلات نافير-ستوكس من أصعب المسائل الرياضية المفتوحة، وهي تتعلق بوصف حركة السوائل والغازات، مثل الماء والهواء والدم. وببساطة، تحاول المعادلات الإجابة عن سؤال أساسي: هل يمكننا إثبات أن هذه المعادلات تظل قادرة دائمًا على وصف حركة السوائل بصورة منتظمة، أم يمكن أن تصل إلى مرحلة تصبح فيها الحركة شديدة الفوضى بحيث ينهار الحل الرياضي؟
وتُعد تلك المعادلات إحدى “مسائل جائزة الألفية” السبعة التي اختارها معهد كلاي للرياضيات، مع تخصيص جائزة مالية قدرها مليون دولار لكل مسألة تُحل وفق المعايير العلمية المعتمدة.
سرعة التقدّم وادعاءات الاقتباس
سرعة إعلان OpenAI عن النتيجة — بعد أيام قليلة من ورود إشاعات عن تقدم بحثي من مجموعات بحثية أخرى — أثارت اتهامات من بعض علماء الرياضيات بأن الشركة قد عجلت بالإعلان واستغلت معلومات أو توقيتاً مرتبطاً بأبحاث خارجية. على وجه الخصوص، أعلن باحثون من مؤسسات أكاديمية وشركات منافسة أنهم أحرزوا تقدماً في الموضوع قبل إعلان OpenAI، وظهرت ادعاءات متبادلة حول ما إذا كان الإعلان قد جاء بعد سماع rumours عن تقدم خارجي.
رد OpenAI
قالت OpenAI في بيانها إن فريقها لم يطلع على أعمال الباحثين المعنيين عبر أي بيانات مستخدمين خاصة، وإن حلّها تَمَّ بوسائل داخلية ومنهجيات مختلفة. كما أوضحت أنها لا تسعى للمطالبة بجائزة الألفية، في خطوة وصفتها بأنها محاولة لتخفيف حدة بعض الانتقادات المتعلقة بالملكية العلمية.
آثار علمية ومنهجية
النقاش انصبّ أيضاً على منهجية إثبات النتائج: بعض التقارير تشير إلى أن OpenAI استخدمت شبكات وكيلة واسعة النطاق وأدوات صياغة دليل يمكن التحقق منه آلياً (formal proof) لتوليد النتائج، ما يطرح أسئلة جديدة حول كيفية تقييم الاعتمادات العلمية عندما تكون الآلات طرفاً أساسياً في الاكتشاف.
ملاحظات عدة منشورة من صحف علمية وتقنية معتبرة تشير إلى أن هذه الحادثة قد تُعدّ لحظة فاصلة في العلاقة بين البحث الرياضي والذكاء الاصطناعي، لكنّها تضع أيضاً المجتمع الأكاديمي أمام تحديات أخلاقية ومنهجية حول الشفافية، الاقتباس، وحقوق الاعتماد.
الوضع الراهن
الخبر ما زال في طور التطور: وسائل إعلام علمية وتقنية وصحف كبرى نشرت تقارير متقاطعة تُظهر جوانب الاختلاف بين روايات الأطراف، بينما يترقّب المجتمع الرياضي تقييم الأقران والتحقق المستقل من الدليل المعلن. كل نسبة كبيرة من التغطية أكّدت أن النتائج بحاجة إلى مراجعة وتدقيق من مجتمع الرياضيات قبل اعتبار المسألة «مغلقة» بصورة نهائية.
المراجع
- OpenAI — On the Navier–Stokes Millennium Prize Problem
- The Guardian — OpenAI claims to have solved maths problem that stumped humans for decades
- The Washington Post — OpenAI claims it solved elusive math problem with a $1 million prize
- Nature — OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’
- Wired — OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
