قالت OpenAI في 8 سبتمبر إن نموذجاً داخلياً شغّل نحو 10 آلاف وكيل ذكاء اصطناعي للتوصل إلى حل لمسألة نافييه–ستوكس، إحدى أشهر المعضلات الرياضية المفتوحة، في ادعاءٍ سارع اثنان من كبار الرياضيين إلى الطعن فيه.
أبرز النقاط:
- نظام غير مُعلَن من OpenAI أنتج برهاناً مكتوباً وصياغة رسمية بلغة Lean لإحدى مسائل جائزة الألفية السبع.
- تريستان باكماستر وليفنت ألبوجه، اللذان نشرا نتيجة قريبة قبل يوم واحد فقط، يتساءلان كيف وصلت الشركة إلى النهج نفسه.
- تيرنس تاو يرى أن مختبرات الذكاء الاصطناعي تستغل المسائل الشهيرة المفتوحة لأغراض دعائية أكثر من سعيها لفهم رياضي عميق.
تفاصيل برهان نافييه–ستوكس لدى OpenAI
الشركة نشرت عرضاً تفصيلياً وصياغة رسمية بـ Lean لبرهان يفيد بأن مائعاً أملساً ساكناً في البداية يمكن أن يطوّر تفرداً خلال زمن منتهٍ. الباحثون وصفوا النظام الداخلي بأنه أكثر تقدماً بكثير من نموذج GPT-6 Astra، وأكدوا أن تدريبه ما زال مستمراً مع تحسن أدائه باضطراد.
مسألة وجود التفردات في حلول معادلات نافييه–ستوكس لطالما شغلت الرياضيين لما يقرب من 90 عاماً، منذ أظهر جان ليريه عام 1934 وجود حلول بمعنى أضعف وأكثر تعميماً، من دون حسم سؤال الانتظام طويل الأمد.
بحسب OpenAI، بدأ تدريب النموذج في 28 أغسطس، ثم وُجِّه في 1 سبتمبر لمهاجمة جميع مسائل جائزة الألفية بعدما ترددت شائعات عن حل اثنتين منها بالفعل. مسؤولون تنفيذيون قالوا للصحفيين إن فاتورة الحوسبة بلغت ملايين الدولارات.
مادة ذات صلة: سعر XRP يستهدف 1.46 دولار مع عودة تراكم الحيتان في سبتمبر
خلاف بين باكماستر وبيبِك حول نسب الفضل
أمضى تريستان باكماستر، أستاذ الرياضيات في جامعة نيويورك، وليفنت ألبوجه، الباحث في Anthropic العامل في هذه المسألة بصفة شخصية، قرابة عام في دراسة معادلات مائعة مرتبطة بالمشكلة ذاتها. اعتمدا على أعمال سابقة لـ دييغو كوردوبا ولويس مارتينيز‑ثوروَا، ونشرا براهين موثَّقة بـ Lean لمسألة أويلر القسرية قبل يوم واحد فقط من إعلان OpenAI.
باكماستر تساءل لاحقاً عما إذا كانت مسوداته الخاصة التي كتبها مستعيناً بـ Codex قد أسهمت في توجيه جهود الفريق المنافس، وقال إنه لم يتلقَّ رداً واضحاً حول بيانات التدريب التي استُخدمت.
وأضاف أن باحث OpenAI سيباستيان بيبِك ضغط لاستبعاد ألبوجه من ورقة بحثية بسبب جهة عمله، ثم حذره من الخروج إلى العلن بهذه الاتهامات.
بيبِك نفى تلك الرواية واصفاً إياها بالمغلوطة والمحرضة.
الشركة من جانبها قالت إن لا الباحثين ولا الوكلاء اطَّلعوا على عمل باكماستر وألبوجه قبل نشره، لكنها أقرت بأن بيانات استخدام مُزالة الهوية يمكن أن تكون قد ساهمت في تحسين النماذج. وأكدت أنها لا تعتزم المطالبة بجائزة المليون دولار المرتبطة بالمسألة. معهد Clay للرياضيات، الذي طرح مسائل الألفية السبع عام 2000، ما زال يسجل مسألة نافييه–ستوكس ضمن المسائل غير المحلولة.
تيرنس تاو ينتقد توجّه الرياضيات بالذكاء الاصطناعي
تيرنس تاو، الذي يُعَدّ على نطاق واسع من أعظم الرياضيين الأحياء، حذّر من أن شركات الذكاء الاصطناعي تتعامل مع المسائل المفتوحة الشهيرة كأدوات تسويق لعرض قدرات أحدث أنظمتها، أكثر من كونها مسعى لابتكار أفكار رياضية جديدة.
تاو جادل بأن اختزال هذه المسائل في مجرد «أجوبة» يسلب المنظومة الرياضية قدرتها على إنتاج الجيل التالي من التقنيات والأسئلة والباحثين، وشبّه هذا التوجه بنهب موقع أثري بحثاً عن القطع الثمينة مع تدمير السياق العلمي المحيط بها.
تصعيد الجهد الحسابي كان سريعاً. نحو 100 وكيل ذكاء اصطناعي بدأوا بحل مسألة أبسط لأويلر من دون قوة خارجية خلال نحو 50 ساعة. وبعدها، أفاد فريق نافييه–ستوكس بتحقيق نتيجة في 5 سبتمبر، أي بعد 88 ساعة تقريباً من إطلاق المهمة، فيما استغرقت عملية التحقق الرسمي بصيغة Lean للبرهان 17 ساعة إضافية.
اقرأ أيضاً: Bitget تضيف دروساً في البلوكشين إلى برنامج اليونيسف الذي يصل إلى أكثر من 642,000 مستفيد
