أخبار ME، 9 سبتمبر (UTC+8)، أعلنت OpenAI عن حل إحدى مسائل جائزة الألفية، وهي مسألة وجودية وانسيابية نافير-ستوكس، والتي كانت معلقة لمدة حوالي 90 عامًا.
تم إجراء هذا الإثبات بواسطة مجموعة من الوكلاء باستخدام نموذج من الجيل التالي من OpenAI أقوى بكثير من GPT-6 Astra، حيث أفادت OpenAI بأن حوالي 10,000 وكيلًا يعملون بالتوازي استغرقوا حوالي 88 ساعة للتوصل إلى الإثبات، ثم أكمل GPT-6 Astra التحقق الرسمي في مُحلِّل Lean خلال 17 ساعة. يُظهر الإثبات أن حركة السوائل ثلاثية الأبعاد يمكن أن تظهر نقاطًا فردية في وقت محدود: حيث تنكمش الدوامات نحو الداخل، وتمتد النواة بتسارع متزايد حتى تصبح السرعة غير محدودة، مع بقاء الطاقة الكلية للنظام محدودة. نشرت OpenAI نص الإثبات المكون من 165 صفحة وكود Lean الرسمي، وأفادت أنها لا تنوي المطالبة بجائزة مليون دولار. ولا يزال معهد كلاي للرياضيات يصنف هذه المسألة على أنها غير محلولة، لأن القواعد تتطلب نشر الحل في مجلة مؤهلة والاحتفاظ به لمدة عامين على الأقل، والحصول على قبول واسع من المجتمع الرياضي قبل النظر في منح الجائزة. (المصدر: X)
