أحد أعقد ألغاز الرياضيات في التاريخ قد يكون سقط أمام الذكاء الاصطناعي
دخل الذكاء الاصطناعي واحدة من آخر الجبهات الكبرى في عالم الرياضيات. أوبن إيه آي “ OpenAI ” تقول إن نظامها الأحدث توصّل إلى حل لمسألة نافير–ستوكس، لكن الاختبار الحاسم بدأ الآن: هل يستطيع علماء الرياضيات إسقاط البرهان؟
قد يكون الذكاء الاصطناعي عبر للتو حدوداً تاريخية جديدة في عالم الرياضيات.
أعلنت أوبن إيه آي (OpenAI) أن نظاماً متطوراً للذكاء الاصطناعي، لم يُطرح للعامة بعد، تمكّن من إنتاج حل لما يُعرف بـ مسألة وجود ونعومة حلول معادلات نافير–ستوكس (Navier–Stokes)، وهي واحدة من مسائل جائزة الألفية السبع التي رصد معهد كلاي للرياضيات مليون دولار لحل كل واحدة منها.
لكن الادعاء، رغم ضخامته، لم يتحول بعد إلى حل معترف به رسمياً.
معادلات تحكم حركة السوائل
تبحث مسألة نافير–ستوكس في سؤال رياضي بالغ التعقيد: هل تستطيع المعادلات التي تصف حركة الموائع أن تظل ناعمة ومستقرة إلى ما لا نهاية، أم يمكن أن تتطور إلى تفرد رياضي يعرف أحياناً باسم الانفجار أو Blow-up؟
وتشكّل هذه المعادلات أساساً لنماذج علمية وهندسية تتعامل مع حركة الماء والهواء، فضلاً عن تطبيقات مرتبطة بالغلاف الجوي والأنظمة الهندسية.
وتقول أوبن إيه آي إن نظامها تمكّن من العثور على تفرد يحدث خلال زمن محدود، ثم أنتج برهاناً رسمياً باستخدام Lean، وهي بيئة حاسوبية متخصصة تساعد على التحقق من صحة الاستدلالات والبراهين الرياضية.
وبحسب تقارير صحفية، سخّرت أوبن إيه آي آلاف الوكلاء الذكيين في تجربة حسابية ضخمة استمرت نحو ٨٨ ساعة، حيث عملت الأنظمة بالتوازي، وتبادلت ملايين الرسائل، واستكشفت طرقاً رياضية متعددة للوصول إلى النتيجة.
لكن إنتاج البرهان ليس نهاية القصة.
إنه بداية الاختبار الحقيقي.
اختبار المليون دولار
معهد كلاي للرياضيات، الذي أطلق مسائل الألفية عام ٢٠٠٠، لم يعلن أن مسألة نافير–ستوكس قد حُلت.
وبموجب قواعد المعهد، يجب أن يخضع أي حل مقترح لمسار علمي صارم، بما في ذلك النشر وفق المعايير المطلوبة، ثم المرور بفترة تدقيق لا تقل عن عامين، إلى جانب حصوله على قبول واسع داخل المجتمع الرياضي، قبل أن يصبح مؤهلاً رسمياً لجائزة المليون دولار.
وهكذا ينتقل الصراع الآن من خوادم الذكاء الاصطناعي إلى أهم مختبر في الرياضيات: عقول الخبراء.
السؤال أصبح مباشراً:
هل يستطيع علماء الرياضيات العثور على ثغرة في برهان الآلة؟
إذا فشلوا، فقد تتجاوز النتائج حدود معادلة واحدة بكثير.
الذكاء الاصطناعي في مواجهة آخر حدود الرياضيات
يأتي إعلان أوبن إيه آي وسط سباق متسارع بين شركات الذكاء الاصطناعي لدخول عالم البحث الرياضي المتقدم.
وتستخدم فرق بحثية في شركات مثل أوبن إيه آي OpenAI وAnthropic وGoogle أنظمة الذكاء الاصطناعي للمساعدة في توليد التخمينات الرياضية، وبناء البراهين، واكتشاف الأمثلة المضادة، وتحويل الاستدلالات إلى صيغ يمكن للحاسوب التحقق منها.
لكن ما يحدث الآن يختلف جذرياً عن استخدام الحاسوب التقليدي في الرياضيات.
لم تعد الآلة تكتفي بإجراء حسابات يعرف الإنسان مسبقاً ما يريد الوصول إليه.
بل يمكن لآلاف الوكلاء الذكيين استكشاف استراتيجيات مختلفة في الوقت نفسه، ومهاجمة المحاولات الفاشلة، واختبار الفرضيات، ثم تطوير المسارات الواعدة.
وهنا يظهر السؤال الأكبر:
هل أصبح الذكاء الاصطناعي مجرد أداة للرياضيات، أم بدأ يتحول إلى شريك جديد في اكتشافها؟
معركة جديدة حول صاحب الفضل
لكن إعلان أوبن إيه آي فتح أيضاً باباً آخر للجدل: من يملك الفضل في الاكتشاف الذي تصنعه الآلة؟
كان عالما الرياضيات تريستان باك ماستر وليفنت ألبوغه يعملان، بمساعدة الذكاء الاصطناعي، على مسائل مرتبطة بديناميكيات الموائع.
وتقاطعت بعض اتجاهات أبحاثهما مع المسار الذي اتبعته أوبن إيه آي، ما أثار تساؤلات حول مدى تقارب الجهود البحثية، وما إذا كان يمكن لأبحاث غير منشورة أن تكون قد أثرت بصورة مباشرة أو غير مباشرة في تطوير أنظمة الذكاء الاصطناعي.
أوبن إيه آي نفت الوصول إلى أعمال الباحثين الخاصة، وقالت إن نظامها توصّل إلى النتيجة بشكل مستقل.
لكن الجدل يكشف مشكلة أكبر بدأت تظهر في عصر العلوم المدعومة بالذكاء الاصطناعي: فالباحثون يعتمدون بصورة متزايدة على أنظمة تجارية متطورة، بينما يخشون في الوقت نفسه من أن تساهم أفكارهم وأبحاثهم غير المنشورة بطريقة ما في تطوير نماذج منافسة مستقبلاً.
الاختراق الحقيقي قد يكون أكبر من مسألة نافير–ستوكس
قد لا تكون القضية الأهم هي ما إذا كانت أوبن إيه آي ستحصل يوماً على جائزة المليون دولار.
الاختبار الحقيقي هو:
ماذا سيحدث إذا صمد البرهان؟
على مدى قرون، اعتمدت الرياضيات المتقدمة على الحدس البشري، والإبداع، والصبر في بناء البراهين واختبارها.
أما الآن، فقد بدأت الآلات تهاجم مسائل استعصت على أجيال متعاقبة من علماء الرياضيات.
وإذا تمكن برهان نافير–ستوكس من الصمود أمام سنوات من التدقيق العلمي، فسيكون ذلك أكثر من مجرد إنجاز لشركة ذكاء اصطناعي.
سيكون دليلاً تاريخياً على أن الذكاء الاصطناعي يستطيع المساهمة ليس فقط في حل مسائل معروفة، بل في توسيع حدود المعرفة الرياضية نفسها.
الحكم لم يصدر بعد
حتى الآن، لا تزال الكلمة الأخيرة لعلماء الرياضيات.
أوبن إيه آي قدمت ادعاءً استثنائياً. والآن يبدأ الاختبار الأصعب: هل تستطيع الرياضيات إثبات أن الآلة كانت على حق؟
إذا صمد البرهان، فقد يُنظر إلى سبتمبر ٢٠٢٦ باعتباره اللحظة التي لم يعد فيها الذكاء الاصطناعي مجرد آلة لحساب الرياضيات، بل أصبح لاعباً حقيقياً في اكتشافها.
