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