اعترف معهد كلاي للرياضيات علنًا للمرة الأولى بأن مشكلة نافييه-ستوكس في الوجود والنعومة - إحدى مسائل جائزة الألفية السبع - "قد تمت تسويتها على ما يبدو". ينقل البيان، الذي نُشر على الموقع الإلكتروني للمعهد يوم الجمعة، واحدة من أكثر القصص المثيرة للجدل في مجال الذكاء الاصطناعي والرياضيات هذا العام إلى عملية تقييم الجوائز الرسمية للمعهد، مع توضيح نفس القدر من أنه لم يتم منح أي جائزة ولم يتم اعتماد أي دليل.
وكتب المعهد في الإعلان بتاريخ 11 سبتمبر 2026: "اليوم، تشارك CMI في إثارة مجتمع الرياضيات العالمي بينما نفكر في الإعلان عن حل مشكلة نافير-ستوكس على ما يبدو. نأمل أن نرى موجات من الفهم الإنساني الجديد يتم إطلاق العنان لها مع تحليل الابتكارات الكامنة وراء هذا العمل واستجوابها". لمزيد من السياق حول هذه القصة، راجع أخبار الذكاء الاصطناعي.
لماذا يهم البيان
تقوم اللغة المقاسة للمعهد بالكثير من العمل، وقد تم تحليل كل كلمة في غضون ساعات على موقع Hacker News، حيث جمع الإعلان أكثر من 100 نقطة. ما لا يقوله البيان لا يقل أهمية عن ما يقوله: معهد كلاي للرياضيات لا يذكر اسم OpenAI، ولا يؤكد صحة أي دليل محدد، ولا يؤدي إلى منح جائزة.
والسياق يوضح ضبط النفس. في 8 سبتمبر، نشرت شركة OpenAI حلاً مزعومًا لمشكلة Navier-Stokes، مشيرة إلى أن نظام الذكاء الاصطناعي الداخلي - الذي وصفته الشركة بأنه أكثر قدرة بكثير من نموذج GPT-6 Astra - قد أنتج دليلًا تحليليًا وتحققًا رسميًا في مساعد Leanproof. أصبح الإعلان على الفور يتعلق بالائتمان بقدر ما يتعلق بالحساب، لأن اثنين من علماء الرياضيات الأكاديميين أصدرا ورقتين بحثيتين وثيقتي الصلة في نفس اليوم، وضغط الباحثون على OpenAI لتحديد الجهة التي ساهمت أعمالها في ظهور نتائج الآلة.
ومع اعتراف المعهد الآن بأن المشكلة "قد تمت تسويتها على ما يبدو"، فإن النزاع يغير مساره: من لعبة تنس الطاولة الخاصة بالبيانات الصحفية إلى إجراءات تقييم جائزة الألفية، والتي يصفها المعهد بأنها "تتأخر عن عمد".
ما تطرحه مشكلة نافييه-ستوكس
تتعلق المشكلة بوجود وسلاسة الحلول لمعادلات نافييه-ستوكس في الفضاء الإقليدي ثلاثي الأبعاد، وهي المعادلات التي تصف كيفية تحرك السوائل، مثل الماء والهواء. وعلى الرغم من أن هذه المعادلات تُستخدم يوميًا من قبل المهندسين وعلماء الأرصاد الجوية وعلماء الديناميكا الهوائية، إلا أن علماء الرياضيات لم يثبتوا أبدًا أن الحلول السلسة والمعقولة فيزيائيًا موجودة دائمًا في ثلاثة أبعاد، أو أنها تتصرف بشكل يمكن التنبؤ به بدلاً من تطوير المتفردات.
كشف معهد كلاي للرياضيات عن جائزة الألفية للمشاكل في اجتماع عقد في باريس عام 2000، حيث خصص جائزة قدرها مليون دولار لكل مشكلة من المسائل السبع، والتي تشمل أيضًا فرضية ريمان وP مقابل NP. وفي بيانه الصادر يوم الجمعة، كرر المعهد منطقه الأصلي: رفع مستوى الوعي العام بأن الحدود الرياضية مفتوحة، والاعتراف بـ "الإنجازات في الرياضيات ذات الحجم التاريخي".
تم حل مشكلة واحدة فقط من المشاكل السبع، وهي تخمين بوانكاريه، بواسطة جريجوري بيرلمان في عمله المنشور في عامي 2002 و2003، والذي بسببه رفض ميدالية فيلدز والجائزة المالية.
تقييم مسبق "غير متسرع عمدًا".
يشير إعلان المعهد إلى قواعد الجائزة باعتبارها الإطار الحاكم لما سيحدث بعد ذلك. وجاء في البيان: "تصف القواعد التي تحكم الجوائز عملية تقييم ما تم تحقيقه وتخصيص الاعتماد". "لقد تم تأخير العملية عمدا، لكننا سنقدم التحديثات."
تترك هذه الصياغة عدة أسئلة مفتوحة يناقشها المجتمع الرياضي الآن بشكل علني. التحقق هو العقبة الأولى: إن إثبات سلاسة نافييه-ستوكس سيستغرق عادة لجنة من الخبراء عدة أشهر للتحقق سطرًا تلو الآخر. إن ادعاء OpenAI بأن نتيجتها تتضمن إضفاء طابع رسمي تم فحصه آليًا في Lean يمكن، من حيث المبدأ، أن يؤدي إلى ضغط هذا الجدول الزمني بشكل كبير، نظرًا لأن التحقق الرسمي يقلل من مسألة الصحة إلى ما سيقبله مساعد الإثبات. لكن المعهد لم يذكر ما إذا كان هذا إضفاء الطابع الرسمي قد تم تقديمه إليه، أو من هم الحكام، أو كيف سيتم تقسيم الفضل بين نظام الذكاء الاصطناعي، ومبدعيه في OpenAI، وعلماء الرياضيات الأكاديميين الذين ظهرت أوراقهم البحثية ذات الصلة في نفس الأسبوع.
كما أن البيان لا يتناول ما إذا كان الحل الذي يُعزى في جزء كبير منه إلى نظام الذكاء الاصطناعي مؤهل للحصول على جائزة تهدف، باللغة التأسيسية للمعهد، إلى الاعتراف بالإنجازات الرياضية البشرية - وهو سؤال لم يسبق له مثيل في تاريخ الجائزة الممتد 26 عامًا.
التوتر وراء الإعلان
يأتي هذا الإعلان في لحظة حساسة للغاية بالنسبة لتقاطع الذكاء الاصطناعي والرياضيات. في يوم الجمعة، نشرت مجموعة من 25 من الحاصلين على ميدالية فيلدز، بما في ذلك تيرينس تاو، إعلانًا رسميًا يحذر من أن السباق لعرض أنظمة الذكاء الاصطناعي وفقًا لمعايير رياضية يضر بالعلم والمجتمع الذي يدعمها - وهو بيان جمع أكثر من 1300 مؤيد إضافي في غضون يوم واحد، كما ورد سابقًا من قبل AI Buzz Wire.
تُقرأ الوثيقتان تقريبًا كإجابات لبعضهما البعض. يحذر إعلان علماء الرياضيات من التعامل مع المسائل العميقة باعتبارها جوائز مرجعية؛ إن إعلان المعهد، مع احتضانه للنتيجة، يضع اللحظة بشكل واضح حول الفهم بدلاً من النصر، على أمل رؤية "موجات من الفهم الإنساني الجديد تنطلق مع تحليل الابتكارات الكامنة وراء هذا العمل واستجوابها".
حتى أن رواية المعهد الخاصة عن المجال المحيط تقر بالتحول: "إن القدرة المتزايدة للتقنيات الجديدة على تسريع الأبحاث الرياضية قد زادت من هذا الشعور بالترقب"، كما يشير البيان، وينسب الفضل إلى الإنجازات الأخيرة في المناطق المجاورة - والتي تم الاعتراف ببعضها من قبل جائزة كلاي للأبحاث - مع زيادة الآمال في احتمال سقوط نافييه ستوكس قريبًا.
ما يأتي بعد ذلك
في الوقت الحالي، فإن الاستنتاج العملي ضيق ولكنه حقيقي: فقد أعلن المعهد الذي يملك المشكلة أنه يعتبر المشكلة قد تمت تسويتها على ما يبدو، والتزم بإجراء التحديثات العامة مع استمرار تقييمه. إذا نجح هذا العمل في النجاة من التدقيق، فسيكون بمثابة مشكلة الألفية الثانية التي تم حلها، والأولى في التاريخ خلال عقدين من الزمن - والأولى في التاريخ التي يُنسب الفضل فيها جزئيًا إلى نظام الذكاء الاصطناعي، وهو التمييز الذي سيشكل كيفية تعامل مؤسسات الرياضيات مع هذا الادعاء التالي.
وقد طلب المعهد الصبر. وبما أن العملية تم تأخيرها عن عمد عن عمد، فإن أسئلة المجتمع ــ حول الدليل، والمصداقية، ودور الآلة التي أنتجتها ــ سيتم الرد عليها في الجدول الزمني للمعهد، وليس في دورة الأخبار.
---
ابق على اطلاع بأخبار الذكاء الاصطناعيآخر أخبار وتحليلات وإنجازات الذكاء الاصطناعي — في مكان واحد.
اقرأ المزيد من أخبار الذكاء الاصطناعي →
