ملخص:
أعلنت شركة OpenAI أنها تمكنت من حل مشكلة Navier–Stokes الرياضية التي تعود إلى 90 عامًا في 88 ساعة باستخدام 10,000 وكيل ونموذج ذكاء اصطناعي جديد. تأتي هذه الخطوة في إطار جهود الشركة لتحسين فهم حركة السوائل.
مشكلة Navier–Stokes
أعلنت OpenAI أنها حلت مشكلة Navier–Stokes الرياضية، والتي تتعلق بكيفية حركة السوائل، في 88 ساعة فقط. جاء ذلك في بيان نشرته الشركة يوم الثلاثاء، حيث أكدت أنها "تشارك حلاً" لهذه المشكلة.
- استخدمت OpenAI نظامًا من "الوكلاء المنسقين" المدعومين بنموذج الذكاء الاصطناعي الداخلي الخاص بها.
- كان للوكلاء القدرة على الوصول إلى أدوات مثل قراءة نسخة مخزنة من الإنترنت وتشغيل الأكواد.
- تم تقسيم الوكلاء إلى مجموعات مع القدرة على التواصل داخل المجموعة، حيث كان عدد الوكلاء الذين ساهموا في حل مشكلة Navier–Stokes حوالي 10,000 وكيل.
أضافت الشركة أن الوكلاء توصلوا إلى الحل يوم السبت، 5 سبتمبر، بعد حوالي 88 ساعة من إطلاق أول مجموعة من الوكلاء. تعتبر مشكلة Navier–Stokes واحدة من سبعة مشاكل جائزة الألفية، والتي تُعتبر من أصعب المشاكل الرياضية في بداية هذا القرن.
لم يعلق معهد كلاي للرياضيات في كامبريدج، ماساتشوستس، على حل OpenAI المقترح حتى الآن.
ملاحظات رياضية
ومع ذلك، أثار عمل OpenAI تساؤلات من قبل تريستان باكماس، أستاذ الرياضيات في جامعة نيويورك.
في بيان على موقعه، أوضح باكماس أنه كان يعمل مع زميله الرياضي ليفنت ألبوج، الذي يعمل في شركة Anthropic المنافسة لـ OpenAI، في "تعاون شخصي" حول مشاكل رياضية بما في ذلك Navier–Stokes.
- ذكر باكماس أن ألبوج تلقى "نصائح" تفيد بأن المعلومات حول تقدم الثنائي قد تم تمريرها إلى OpenAI.
- أشار إلى أن مسار الشركة نحو الحل كان مشابهًا لعملهم، وهو "ليس الاتجاه الذي يمكن الوصول إليه في بضعة أيام من خلال إعطاء نموذج بيان المشكلة".
كما أثار باكماس تساؤلات حول ما إذا كانت نماذج OpenAI قد تم تدريبها على، أو كان لديها وصول إلى، جلساتهم في Codex الخاص بـ OpenAI. وأوضح أن الرياضيين استخدموا عدة نماذج لغوية كبيرة كجزء من عملهم.
❝ أود أن أوضح ما لا أزعم. لم أرَ دليل OpenAI. لا أعرف ما الذي فعله نموذجهم، أو كيف. لا أعرف ما إذا كانت بياناتنا قد استخدمت. ❞
في بيانها، ذكرت OpenAI أن جهودها لحل مشكلة Navier–Stokes بدأت في 1 سبتمبر بعد "سماع شائعة" حول تقدم في اللغز الذي اكتشفت لاحقًا أنه يتعلق بألبوج وباكماس.
- أكدت الشركة أنها (الباحثون والوكلاء) لم يروا أيًا من أعمالهم من خلال أي وسيلة حتى أطلقوا ذلك علنًا — وبالتحديد، لم يتم الوصول إلى أي بيانات مستخدم محددة لحل هذه المشكلة.
مشاكل جائزة الألفية
أنشأ معهد كلاي للرياضيات مشاكل الجائزة في عام 2000، مع تقديم جائزة قدرها مليون دولار لحل كل مشكلة.
- تقول المؤسسة على موقعها: "تم تصور الجوائز … لرفع الوعي العام بأن في الرياضيات، لا تزال الحدود مفتوحة وتزخر بمشاكل هامة لم تُحل؛ ولتأكيد أهمية العمل نحو حل أعمق وأصعب المشاكل؛ والاعتراف بالإنجازات في الرياضيات ذات الأهمية التاريخية."
تشمل المشاكل الأخرى تخمين بيرش وسوينرتون-داير، والذي يتعلق بالمنحنيات البيضاوية، وفرضية ريمان، والتي تتعلق بالأعداد الأولية.
