إثبات رياضي من 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

أضافت تفصيلتان جديدتان إلى الصورة منذ ذلك الحين. تقول OpenAI إن GPT-6 Astra نفسه قضى 17 ساعة في التحقق رسميًا من منطق الوكلاء بعد اكتمال التشغيل الذي استغرق 88 ساعة، وأعلنت الشركة أنها لن تطالب بجائزة معهد كلاي البالغة مليون دولار حتى لو ثبتت صحة النتيجة. ومن جهته، خفف باك ماستر لهجته علنًا، قائلًا إنه لا يعرف ماذا فعل نموذج OpenAI أو كيف، ولا يعرف ما إذا استُخدمت بياناته، وأنه "لا يتهم أحدًا بشيء". ونفى بوبك الوصول إلى العمل غير المنشور خلال إحاطة صحفية، رغم أن OpenAI أعادت الإقرار بأنها لا تستطيع استبعاد تأثير بيانات استخدام الثنائي على التدريب. ويتكشف هذا الصراع مع استعداد OpenAI لطرح عام أولي يُذكر أن قيمته تبلغ تريليون دولار، فيما تسعى Anthropic إلى تقييم أكبر.

وقد ظهرت تفاصيل إضافية عن حجم التشغيل. تقول OpenAI إن نحو 10,000 وكيل تبادلوا 2.7 مليون رسالة ووّلدوا حوالي 130 مليار رمز (توكن) خلال الـ 88 ساعة، وأشار رئيس الأبحاث مارك تشين إلى أن الإنفاق على الحوسبة تجاوز قيمة جائزة كلاي البالغة مليون دولار. ولم يعترف معهد كلاي للرياضيات بالنتيجة، إذ تتطلب قواعده النشر على منصة مقبولة، وفترة توفر علني مدتها سنتان، وقبولًا واسعًا بين الرياضيين قبل أي جائزة، وهي نقطة بلا جدوى نظرًا لأن الشركة قالت بالفعل إنها لن تسعى وراء المال. كما نفى بوبك علنًا على X أنه طلب يومًا استبعاد ألبوغي من قائمة مؤلفي عمله، فيما رحب ألبوغي بإقرار OpenAI بشأن بيانات التدريب مجهولة الهوية قائلًا: "أقول، منحهم القرض على صدقهم في الأمر".

(حتى الساعة ‏12:30 UTC‏) (اعتبارًا من 12:30 بتوقيت UTC) بالنسبة لمشروع Worldcoin (WLD)، تميل الخريطة الفنية إلى البناءية رغم تراجع بنسبة 4.13% إلى 0.4523 دولار خلال 24 ساعة الماضية. يضع التركيب الخاص بـ COINOTAG المكوّن من 42 مؤشرًا دعمًا متوسطًا مباشرة تحت السعر عند 0.4368 دولار (56/100؛ S1، إيشيموكو تينكان، إيشيموكو سينكو B)، مع أقوى أرضية عند 0.3895 دولار (57/100؛ EMA 50، S3، EMA 100، SMA 50)، وطبقات متوسطة إضافية عند 0.3529 دولار (54/100)، و0.3057 دولار (43/100)، و0.1763 دولار (39/100). من الأعلى، يقع مقاومة قوية فوق السعر مباشرة عند 0.4573 دولار (80/100؛ فيبوناتشي 0.382، بولينجر العلوي، نقطة البيفوت، كيلتنر العلوي)، مدعومة بمستويات 0.4892 دولار (67/100؛ فيبوناتشي 0.500، HVN، دونشيان العلوي) و0.5588 دولار (62/100؛ فيبوناتشي 0.618، HVN، R2). تموضع المشتقات إيجابي باعتدال: يبلغ معدل التمويل 0.0054% على قيمة عقود مفتوحة قدرها 115.2 مليون دولار، ما يشير إلى أن المراكز الطويلة تدفع تكلفة الاحتفاظ. مع مؤشر القوة النسبية عند 63.75، وإشارة MACD صاعدة، واتجاه صاعد قائم، ومؤشر الخوف والطمع عند 66 (الطمع) في سوق تبلغ قيمته السوقية 2.34 تريليون دولار بحصة بيتكوين منها 68.1%، فإن اختراقًا نظيفًا لمستوى 0.4573 دولار سيفتح الطريق نحو 0.4892 دولار ثم 0.6745 دولار (50/100)؛ وفقدان مستوى 0.4368 دولار سيعيد الأرضية الأقوى عند 0.3895 دولار إلى دائرة الاحتمالات.