الأحد، 13 سبتمبر 2026
بعض الأفكار حول مسألة "نافييه-ستوكس" (إحدى مسائل جائزة الألفية)
يتناول هذا الموضوع نتيجةً مبهرةً توصلت إليها شركة OpenAI؛ إذ استخدمت الشركة نموذجاً غير مُعلن عنه لتقديم حل لمسألة "الوجود والسلاسة" (existence and smoothness) الخاصة بمعادلات "نافييه-ستوكس"، وهي واحدة من "مسائل جائزة الألفية" السبع التي رُصدت لها جائزة قدرها مليون دولار منذ 24 مايو 2000.
غير أن هذا الاكتشاف قد طغت عليه بعض الاتهامات بممارسات غير نزيهة وجهها تريستان باكماستر، أستاذ الرياضيات في جامعة نيويورك، الذي كان يتعاون في مسائل ذات صلة مع ليفنت ألبوج، وهو عالم رياضيات بارع يعمل حالياً لدى شركة Anthropic.
تزامنت شكوى تريستان مع نشرٍ متسرع لنتائجهما الخاصة؛ ويمكن الاطلاع على ملف PDF يوضح تفاصيل ما حدث هنا. وباختصار شديد: عمل تريستان وليفنت على المسألة لما يقرب من عام، مستخدمين بشكل مكثف نموذجي Claude وCodex (وتحديداً نسخة GPT-5.6 Sol)، حتى حققا اختراقاً بحثياً في 15 أغسطس. وفي خضم تداول الشائعات في الأوساط الرياضية، وصل إلى مسامع تريستان وليفنت أن OpenAI قد علمت بأن Anthropic نجحت في حل "مسألة كبرى عالقة"؛ فتواصلا مع OpenAI ليعلما أن لديها فريقاً يعمل على مسألة ذات صلة وبنهج مشابه. وعلى حد تعبير تريستان:
سألتُ عن موعد إرسالهم لأول "أمر توجيهي" (prompt)؛ وهو سؤال لم تُجب عليه OpenAI بشكل مباشر لفترة من الوقت. وفي النهاية، تم الاتفاق على أنه أُرسل خلال الأيام القليلة الماضية، وذلك بعد أن وصلت معلومات حول عملنا إلى OpenAI.
سألتُ عما إذا كان النموذج قد تدرب على جلساتنا في نظام Codex —حيث كنا نضع جميع مسوداتنا الخاصة بالمشروع بأكمله— أو ما إذا كان بإمكانه الوصول إليها. فأُخبرتُ بأن النموذج لا يطّلع على بيانات المستخدمين. عاودتُ السؤال بشأن التدريب، لكنني لم أحصل على إجابة.
ازداد الأمر تعقيداً بعد ذلك؛ إذ عرض فريق OpenAI الانتظار حتى ينشر "تريستان" (Tristan) نتائجه، أو أن يقوم هو بكتابة ورقة بحثية حول ما توصلوا إليه، لكنهم أوضحوا بجلاء أن "ليفنت" (Levent) لن يُدعى للمشاركة كمؤلف مشارك نظراً للعلاقة التنافسية بين OpenAI والجهة التي يعمل لديها "ليفنت".
وإليكم كيف وصفت OpenAI عملها:
في يوم الثلاثاء، الأول من سبتمبر، سمعنا شائعات تفيد بحل مسألتين من "مسائل جائزة الألفية" (Millennium Prize problems). واستلهاماً من هذه الشائعات ومن القفزة النوعية في أداء نموذجنا الداخلي، أطلقنا مبادرة لتقييم أدائه على جميع مسائل جائزة الألفية المفتوحة، بالإضافة إلى بضع مسائل أخرى ذات أهمية بالغة. [...]
توصلت الوكلاء (الأنظمة الذكية) إلى الحل يوم السبت، الخامس من سبتمبر، أي بعد حوالي 88 ساعة من إطلاق الدفعة الأولى منها. واستغرقت عملية الصياغة الرسمية والتحقق (باستخدام لغة Lean) 17 ساعة إضافية عبر نموذج GPT-6 Astra.
وعبر جميع المسائل التي جرت محاولة حلها، أرسلت هذه الوكلاء 4.9 مليون رسالة واستهلكت حوالي 300 مليار "رمز" (token) من المخرجات. وفي سياق حل مسألة "نافييه-ستوكس" (Navier–Stokes)، أرسلت الوكلاء 2.7 مليون رسالة واستهلكت ما يقرب من 130 مليار رمز من المخرجات.
(نحن لا نعرف هيكل التكلفة الخاص بالنموذج الداخلي الذي استخدموه، ولكن 300 مليار رمز من المخرجات -وفقاً لأسعار واجهة برمجة التطبيقات العامة لنموذج GPT-6 Astra- كانت ستكلف 15 مليون دولار).
الاشتراك في:
تعليقات الرسالة (Atom)
مفاتيح المرور فخ. لا تستخدمها.
يبدو أن كل موقع إلكتروني يُطالبنا بالتوقف عن استخدام كلمات المرور. ويُطلب منا استخدام بديل يُسمى " مفاتيح المرور" . قد يكون هذا ال...
-
تلعب شجرة B (B-tree) دوراً جوهرياً في العديد من البرمجيات، ولا سيما أنظمة إدارة قواعد البيانات (DBMS). إذ تعتمد أنظمة مثل MySQL وPostgres وM...
-
في مثل هذا الوقت من العام الماضي، نشرت مجلة نيويورك تايمز عددًا خاصًا عن الذكاء الاصطناعي، بمقدمة بعنوان "الجميع يستخدم الذكاء الاصطناع...
-
إنها فكرة بسيطة حقًا، وهي التجريد الأمثل لمستقبل الإنترنت. قد تتعطل عناوين IP فجأةً ودون سابق إنذار، وهذا خارج عن سيطرة جهازك. أما المفاتيح،...

ليست هناك تعليقات:
إرسال تعليق