الذكاء الاصطناعي يقترب من حل أحد أعقد ألغاز الرياضيات.. ماذا تقول معادلات نافير–ستوكس؟
عاد أحد أعقد ألغاز الرياضيات إلى واجهة الاهتمام العلمي، بعدما أعلنت شركة OpenAI أن نظامًا داخليًا للذكاء الاصطناعي أنتج برهانًا تقترح الشركة أنه يحل مسألة وجود وانتظام حلول معادلات نافير–ستوكس، وهي واحدة من مسائل الألفية التي ظلت تشغل علماء الرياضيات والفيزياء لعقود طويلة.
وتصف معادلات نافير–ستوكس حركة الموائع، مثل الماء والهواء، وتكمن صعوبة المسألة في معرفة ما إذا كانت الحلول الرياضية في ثلاثة أبعاد تظل منتظمة دائمًا أم يمكن أن تتطور إلى حالة تفرد خلال زمن محدود.
ما الذي أعلنته OpenAI؟
قالت الشركة في إعلانها المنشور يوم 8 سبتمبر 2026 إن نظامًا داخليًا طورته أنتج برهانًا يشير إلى إمكانية ظهور تفرد في ديناميكيات معادلات نافير–ستوكس خلال زمن محدود، وأرفقت بالنتيجة شرحًا رياضيًا وصياغة رسمية قابلة للفحص باستخدام لغة Lean.
وأوضحت OpenAI أنها لا تسعى إلى المطالبة بجائزة الألفية عن هذا العمل، كما أن الإعلان لا يعني أن المسألة حُسمت بصورة نهائية لدى المجتمع العلمي؛ إذ تظل مراجعة البرهان والتحقق المستقل من خطواته أمرين أساسيين قبل اعتباره إجماعًا علميًا.
لماذا تعد المسألة من أصعب ألغاز الرياضيات؟
تنبع أهمية المسألة من ارتباطها بفهم سلوك السوائل والغازات، وما إذا كانت المعادلات المستخدمة في وصفها قادرة على تقديم حلول منتظمة في كل الظروف الرياضية المحددة. وتحمل المسألة مكانة خاصة ضمن مسائل الألفية التي رصد معهد كلاي للرياضيات جائزة قدرها مليون دولار لحل كل واحدة منها وفق شروطه.
ويعيد هذا الإعلان فتح النقاش حول قدرة الذكاء الاصطناعي على المساهمة في الاكتشافات الرياضية المتقدمة، لكنه يضع أيضًا التحقق العلمي والشفافية وإعادة إنتاج النتائج في قلب النقاش.
