في أوائل سبتمبر 2026، نشرت OpenAI مسودة من 166 صفحة قالت إنها قد تحل مسألة نافيه-ستوكس، وهي واحدة من مسائل الألفية السبع التي خصص لها معهد كلاي للرياضيات جائزة مليون دولار لكل منها. كُتبت المسودة بلغة Lean للتحقق الرسمي، التي تفحص كل خطوة منطقية تلقائيًا. وقالت OpenAI إن البرهان اتبع منهج الرياضيين الإسبانيين دييغو كوردوبا ولويس مارتينيز-زوروا.
الرياضيون يرصدون اختلافًا في المنهج
فحص عدد من الرياضيين المسودة، بينهم غونزالو كاو-لابور من EPFL، وقالوا إن الاستدلال فيها لا يتطابق مع منهج كوردوبا-مارتينيز-زوروا. ووصفوا أوجه التشابه بأنها سطحية فحسب. ويُراجع معهد كلاي للرياضيات المسودة منذ نشرها.
حوسبة هائلة وأثر غير واضح
شغّلت OpenAI نحو 10,000 نسخة من النموذج لمدة تقارب 88 ساعة، وعالجت 130 billion tokens لإنتاج المسودة. ويقدّر الباحث نوام براون أن أقل من 10% من النتيجة يُعزى إلى إعداد الوكلاء المتعددين، ما يشير إلى أن معظم العمل أنجزه النموذج الأساسي نفسه. ولا يزال الدور الدقيق لهذا الحشد من الوكلاء مجهولًا، إذ لم تُجرَ اختبارات منهجية بهذا الحجم.
إصدارات إضافية تثير الانتقادات
في أوائل أكتوبر، أضافت OpenAI نحو 400 نتيجة أخرى مولّدة بالذكاء الاصطناعي إلى مجموعة غير منظمة على GitHub، وقال كثير من الرياضيين إن ذلك ينتقص من قيمة المجال. وأدى هذا السيل السريع من النتائج إلى صعوبة مواكبة مجتمع الرياضيات لها.
لماذا يهم
تُظهر هذه الواقعة للقارئ العادي أن تسخير موارد هائلة للذكاء الاصطناعي قد يفضي إلى عمل لا يزال الخبراء يشككون فيه. كما توضح أن البراهين الرياضية التي يولدها الذكاء الاصطناعي لم تصبح بعد اختصارًا يغني عن التحقق البشري، لذا لا تزال المسألة التي خُصصت لها الجائزة بلا حل.
