ادعاء OpenAI بشأن نافييه–ستوكس: ما الذي حدث ولماذا اعترض الرياضيون؟

لم يكن إعلان OpenAI في 8 سبتمبر استثنائيًا لمجرد أنه يتحدث عن الذكاء الاصطناعي، بل لأنه تَعلّق بإحدى أعقد المسائل المفتوحة في الرياضيات. غير أن إعلان الشركة عن برهان، حتى مع وجود صياغة رسمية قابلة للفحص، لا يساوي تلقائيًا حلًا أقرّه مجتمع الرياضيين بعد مراجعة مستقلة.

ماذا ادّعت OpenAI؟

قالت OpenAI إن نظامًا داخليًا لم يُكشف عنه أنتج برهانًا تحليليًا وصياغة رسمية بلغة Lean تُظهر أن تدفقًا ثلاثي الأبعاد لمعادلات نافييه–ستوكس، يبدأ ناعمًا، يمكن أن يطوّر تفردًا في زمن منتهٍ. وأضافت أن المجموعة التي توصّلت إلى النتيجة ضمّت نحو 10,000 وكيل متزامن. 2

بلغة مبسطة، يعني «التفرد» أن سلوك الحل قد يصبح غير منتظم بصورة لا تبقى معها النعومة المطلوبة في المسألة. وإذا صمدت النتيجة أمام الفحص واتسقت مع الصياغة الرسمية للمسألة، فستجيب بالنفي عن سؤال الوجود والنعومة: لا يلزم أن تظل الحلول الملساء ملساء إلى الأبد.

لماذا تُعد نافييه–ستوكس مهمة؟

تصف معادلات نافييه–ستوكس حركة الموائع، وهي أساس نظري لدراسة السوائل. ومع أنها كُتبت في القرن التاسع عشر، فإن الفهم الرياضي العام لسلوك حلولها في ثلاثة أبعاد ظل محدودًا. 30

والمسألة جزء من مسائل جائزة الألفية التي يشرف عليها معهد كلاي للرياضيات، وتتناول وجود حلول ناعمة «معقولة فيزيائيًا» لمعادلات نافييه–ستوكس في الفضاء الإقليدي ثلاثي الأبعاد واستمرارها. 1721

لهذا لا يُنظر إلى الإعلان بوصفه اختبارًا تقنيًا لنموذج ذكاء اصطناعي فحسب؛ فالنتيجة الصحيحة تمس سؤالًا محوريًا في التحليل الرياضي وديناميكيات الموائع. لكن أهمية الادعاء تعني أن معيار التحقق منه أعلى، لا أقل.

لماذا لم يُعتمد الادعاء فورًا؟

في 11 سبتمبر، قال معهد كلاي للرياضيات إنه يشارك المجتمع الرياضي حماسته وهو «يتأمل» الإعلان بأن المسألة ربما سُوّيت على ما يبدو، لكنه شدد على أن عملية التقييم وتحديد صاحب الفضل متأنية عمدًا. 18

وتنص قواعد المعهد على ثلاثة شروط قبل النظر في حل مقترح: نشره في منفذ مؤهل، ومرور سنتين على الأقل على النشر، ونيله قبولًا عامًا في مجتمع الرياضيات العالمي. كما يجب أن يجيب الحل بصورة مرضية عن أسئلة الوصف الرسمي للمسألة. 2027

تستطيع Lean التحقق من أن سلسلة خطوات مبرهنة تتبع منطقيًا من التعريفات والافتراضات التي جرى ترميزها. وهذه قوة تحقق كبيرة، لكنها لا تُغني عن مراجعة المختصين: إذ ينبغي فحص ما إذا كانت النظرية المصاغة، وافتراضاتها، وترجمة المسألة من اللغة الرياضية المعتادة إلى الصياغة الرسمية، تحسم فعلًا السؤال المقصود.

لذلك، الوصف الأدق للوضع هو: نتيجة مُدّعاة تخضع للتدقيق، وليست حلًا مقبولًا على نطاق عام أو نتيجة معتمدة لجائزة الألفية.

نزاع الأسبقية والنسبة

جاء الإعلان في خضم خلاف يخص تريستان باكماستر، الرياضي في جامعة نيويورك، وليفنت ألبوجه، الرياضي المرتبط بشركة Anthropic. وأفادت تقارير بأنهما كانا يعملان على أسئلة ذات صلة، وأن باكماستر أثار تساؤلات حول كيفية توجه OpenAI إلى هذه المسألة. 953

كما طرح باكماستر اتهامات تتصل بالسلوك في نقاشات النسبة والتعاون. ورفضت OpenAI الاتهامات الأوسع، وقالت إن باحثيها ووكلاءها لم يطّلعوا على عمل الباحثين قبل نشره علنًا، وإنه لم يُستخدم أيٌّ من بيانات المستخدمين المحددة لحل المسألة. 53

هذه روايات متنازع عليها، وليست وقائع محسومة. لكن المؤكد أن الإعلان التقني تحوّل إلى نقاش أكبر حول الأسبقية ومن يستحق الفضل حين تعمل مختبرات الذكاء الاصطناعي والباحثون قرب الحدود البحثية نفسها.

لماذا أصبحت مسألة البيانات حساسة؟

كان السؤال الأشد حساسية هو ما إذا كانت أعمال أُدخلت في منتجات للذكاء الاصطناعي قد أثّرت في القدرات التي استُخدمت لاحقًا في البحث. قالت OpenAI إنها لم تصل إلى بيانات المستخدمين المحددة الخاصة بالباحثين في عمل نافييه–ستوكس، لكنها أضافت أنها لا تستطيع استبعاد احتمال أن تكون بيانات مجهّلة الهوية، ناتجة من استخدامهم للمنتجات، قد ساعدت في تحسين نماذجها. 59

قد يكون هذا التفريق ذا دلالة تقنية، لكنه يترك سؤالًا مهمًا عن الحوكمة: ما مستوى إثبات المصدر والموافقة وقابلية التدقيق الذي ينبغي أن يتوقعه الباحث عندما يستخدم أنظمة الذكاء الاصطناعي في عمل غير منشور؟

والدرس العملي للباحثين هو مراجعة سياسات البيانات في الأداة قبل إدخال مسودات أو حدوس أو شيفرات أو أي مواد بحثية حساسة.

تحذير حائزي ميدالية فيلدز

في 11 سبتمبر، نشر تيرينس تاو إعلانًا بعنوان اختلال حاد في مواءمة الذكاء الاصطناعي مع الرياضيات، وقّعه في البداية 25 من حائزي ميدالية فيلدز، وهي من أرفع الجوائز في الرياضيات. 43

عبّر الإعلان عن خشية من أن تعامل الشركات مسائل مشهورة غير محلولة كمعايير علنية للمنافسة أو وسائل دعائية، بدل التعامل معها بوصفها عملًا فكريًا تراكميًا وتعاونيًا. ويرى منتقدون أن الإعلانات المتعجلة، أو الشرح غير المكتمل، أو ضعف الإسناد، أو الحوافز إلى «السبق» قد تدفع الباحثين إلى تقليل مشاركة الأفكار المبكرة.

لم يكن التحذير دعوة إلى إقصاء الذكاء الاصطناعي من الرياضيات؛ بل كان دعوة إلى حماية الأعراف التي تقوم عليها المعرفة الرياضية: التدقيق المفتوح، والشرح الدقيق، والإنصاف في نسبة الفضل، والحوار العلمي.

ما الذي يتطلبه الاستخدام المسؤول للذكاء الاصطناعي في الرياضيات؟

تشير القضية إلى معيار عملي للتعامل مع ادعاءات بحثية استثنائية مدعومة بالذكاء الاصطناعي:

• إتاحة مواد برهانية قابلة للفحص: ينبغي أن يرافق الادعاء بحثٌ صارم، وصياغة قابلة للتحقق آليًا حيثما كانت متاحة.
• مراجعة مستقلة: التحقق الرسمي وتقييم خبراء الرياضيات وظيفتان مختلفتان، والادعاءات الكبرى تحتاج إليهما معًا.
• نسبة واضحة للفضل: على المختبرات توثيق الأعمال السابقة ذات الصلة، والمساهمين البشر، وحدود دور النظام.
• وضوح مصدر البيانات: يحتاج الباحثون إلى التزامات مفهومة بشأن إمكان مساهمة تفاعلاتهم مع المنتج في تحسين النماذج وكيفية ذلك.
• وقت كافٍ للتداول العلمي: حل مسألة كبرى لا يقتصر على إنتاج جواب «صحيح أو خطأ»، بل يشمل إثبات ما الذي تم برهنته ولماذا هو صحيح وكيف ينسجم مع المجال.

الخلاصة

قد يصبح إعلان OpenAI علامة فارقة في البحث الرياضي بمساعدة الذكاء الاصطناعي، لكنه لم يحسم القضية في يوم الإعلان. السؤال الفاصل هو ما إذا كان البرهان المُدّعى سيحصل على قبول مستقل ومستدام وفق معايير مجتمع الرياضيات ومعهد كلاي للرياضيات. 1827

وأظهر الاعتراض لماذا تهم هذه العملية: فكلما دخل الذكاء الاصطناعي إلى أبحاث عالية المخاطر، لن تعتمد الثقة على ما يمكن للأنظمة اكتشافه فقط، بل على إمكان التحقق من اكتشافاتها وشرحها ونسبة الفضل فيها بعدل.