إثبات رياضي من OpenAI بواسطة 10,000 وكيل يشعل نزاع الفضل حول Worldcoin (WLD)

إثبات خلال 88 ساعة بواسطة 10,000 وكيل

أعلنت OpenAI يوم الثلاثاء أن أحد نماذجها الداخلية أنتج حلاً موثقاً آلياً لمسألة وجود الحلول في معادلات نافييه-ستوكس، وهي واحدة من سبع مسائل جوائز الألفية التي تمنح كل واحدة منها جائزة قدرها مليون دولار من معهد كلاي للرياضيات. النتيجة هيبرهان على أن معادلات الموائع يمكن أن "تنفجر" — أي أنها تسمح بتصبح سرعة سائل لا نهائية عند نقطة ما، وهو ما تستبعده الفيزياء — وقد تم التحقق من كل خطوة فيه عبر Lean، لغة مساعد الإثباتات التي تفحص الحجج الرياضية تحققاً شكلياً صارماً. وإذا صمد هذا الإثبات أمام التدقيق، فسيكون المسألة الثانية من مسائل الألفية التي تُحل على الإطلاق، والأولى التي تُنسب الفضل فيها إلى الذكاء الاصطناعي. وتقول الشركة إن الإثبات استغرق 88 ساعة ونحو 10,000 وكيل ذكاء اصطناعي منسق، وهي نسخ متوازية من نموذج من الجيل القادم تصفه بأنه أكثر قدرة بكثير من GPT-6 Astra، النظام الذي سجل مؤخراً نتيجة 98.6% في ARC-AGI-3 وسابقاً 72.6% في OSWorld 2.0. ويأتي هذا الإعلان في فترة استثنائية لرياضيات الذكاء الاصطناعي: فقبل أيام، أعلنت Anthropic أن نموذج Claude لديها أنتج إثباتاً محتوماً حاسوبياً للمبرهنة الأخيرة لفيرما، وتتحول عمليات نشر الوكلاء واسعة النطاق إلى أمر روتيني — وقد تابع مكتبنا سابقاً حملة منسقة تركت خلالها وكلاء OpenAI نحو 18,000 منشور على ويكي ألماني. غير أن ادعاء ديناميكا الموائع اصطدم فوراً بعقبة بشرية: فقبل ساعات من إعلان OpenAI، نشر عالم الرياضيات في جامعة نيويورك تريستان باكماستر بياناً من أربع صفحات زعم فيه أن سيباستيان بوبك من OpenAI اطلع على عمل غير منشور وثيق الصلة لباكماستر والباحث في Anthropic ليفنت ألبوج، وسعى لدى الاثنين بشأن الفضل قبل الإعلان. وتنفي OpenAI وبوبك والمدير التنفيذي سام ألتمان هذا الرواية، في مواجهة حادة حول من وصل أولاه إلى إجابة تبلغ قيمتها مليون دولار.

بيان باكماستر والرد المضاد

حسب رواية باكماستر، أمضى هو وألبوج نحو عام في توجيه النماذج اللغوية الكبيرة نحو إثباتات انفجار الموائع، وكانا يملكان حلاً بين يديهما بحلول 22 أغسطس. وفي 3 سبتمبر، وبعد انتشار إشاعات بأن Anthropic حسمت مسألة مفتوحة كبرى، أرسل باكماستر رسالة إلى عالم رياضيات في OpenAI مؤكداً أن المشروع شخصي وغير تابع لأي من الشركتين؛ وكان الرد ودوداً حتى إنه عرض موارد OpenAI الحاسوبية. ثم جرت مكالمتان يوم الأحد 6 سبتمبر، قال باكماستر إن بوبك كشف فيهما أن نموذجاً داخلياً أنتج بالفعل إثباتاً من نحو 100 صفحة لمسألة نافييه-ستوكس القسرية باستخدام قوى ناعمة، وهو المسار الضيق ذاته، المبني على برنامج دييغو كوردوبا ولويس مارتينيث-زيورا، الذي لم يكن يتبعه أحد تقريباً. ويزعم باكماستر أن بوبك ضغط مرتين لاستبعاد ألبوج من الإسناد بسبب انتمائه إلى Anthropic، وطرح عليه مرة سؤالاً: "لماذا تُخرّب مسيرتك المهنية؟". أما بوبك فيصف هذه الادعاءات بأنها "كاذبة وتحريضية"، وقد نشر رسائل نصية يقول إنها تثبت أنه اقترح إصداراً منسقاً، ويؤكد أنه تصرف بحسن نية. ويقول ألتمان إن بوبك "تصرف بنزاهة وسخاء طوال الوقت"، مضيفاً أن OpenAI عرضت على الفريق الآخر النشر أولاً حين أدركت أنه لم يحل سوى مسألة أويلر وليس نافييه-ستوكس كاملة. وقالت OpenAI على حدة إنها لم تطّلل على عمل الثنائي قبل نشره، لكنها لم تستبعد أن تكون بيانات استخدام مجهلة الهوية قد ساعدت في تحسين نماذجها. كما أشار باكماستر إلى أن الاثنين احتفظا بمسودات الإثبات داخل جلسات OpenAI Codex، دون أن يحصلا على إجابة عما إذا كانت تلك الجلسات قد دُمجت في تدريب النموذج. ومن جهته، وصف الحائز على ميدالية فيلدز تيرينس تاو الرياضيات الأساسية لباكماستر وألبوج بأنها "إنجاز ملحوظ". واللافت أن إثبات OpenAI البالغ 100 صفحة، والنتيجة الأكثر تقدماً للثنائي — التي تنتظر تدقيقاً نهائياً عبر Lean — لم يخضع أي منهما لمراجعة مستقلة بعد. يمكن للقراء الراغبين في متابعة السوق لحظيًا الاطلاع على أسعار السبوت والعقود الآجلة مباشرة عبر MEXC.

صلة ألتمان بمشروع Worldcoin

بالنسبة إلى مشروع Worldcoin (WLD)، فإن دلالة الخبر لا تكمن في الموائع بقدر ما تكمن في الاسم الذي يحمل الإنجاز. فقد شارك ألتمان في تأسيس Worldcoin، التي تعتمد شبكتها للهوية عبر مسح قزحية العين على إثباتات المعرفة الصفرية، وقد تسربت إنجازات OpenAI مراراً إلى سرديات القيمة السوقية للرمز، كلما أعاد المتداولون تسعير صفقة الذكاء الاصطناعي المرتبطة بألتمان ضمن عالم العملات البديلة. وهكذا تراجع WLD بنسبة 4.4% خلال 24 ساعة الماضية، في وقت تابعت فيه العملات البديلة المرتبطة بالذكاء الاصطناعي مجريات النزاع، وبقي منظومة Worldcoin داخل نطاق ضربات شركة ألتمان الأخرى. ومن شأن بقاء الإثبات أمام المراجعة الخارجية — وهويته التي ينال الفضل — أن يرسم ملامح الجولة التالية من تموضع Web3.