بعد أيام من إعلان “أوبن إيه آي” توصل نظام للذكاء الاصطناعي إلى حل لمسألة “وجود وانتظام نافييه-ستوكس”، انتقل الاهتمام من الساعات الـ88 التي استغرقتها العملية إلى سؤال أكثر إلحاحا داخل الوسط العلمي: ماذا يحدث لمهنة عالم الرياضيات عندما تصبح الآلة قادرة على المشاركة في بناء البراهين التي كانت تحتاج إلى سنوات من العمل البشري؟
وتنبع أهمية التطور من مكانة المسألة، فنافييه-ستوكس واحدة من سبع “مسائل الألفية” التي حددها معهد كلاي للرياضيات سنة 2000، ورصد مليون دولار للحل الصحيح لكل منها، فيما لم تحسم من القائمة سوى مسألة واحدة.
مسؤولة السياسة الخارجية للاتحاد الأوروبي تحضّ على مواصلة سياسة العقوبات ضد روسيا
وتصف معادلات نافييه-ستوكس حركة السوائل والغازات، وتدخل في دراسة تدفق المياه وحركة الهواء والتنبؤات الجوية، أما المشكلة الرياضية فتتعلق بما إذا كانت حلول هذه المعادلات تظل منتظمة دائما أم يمكن أن تنهار في ظروف معينة خلال زمن محدود.
وقالت “أوبن إيه آي” إن نموذجها، الذي لم تطرحه بعد للجمهور، عمل على المسألة لمدة 88 ساعة مستخدما ما يصل إلى 10 آلاف “وكيل” للذكاء الاصطناعي يعملون بالتوازي، فيما نقل باحثون بشريون أفكارا أساسية بين مجموعات العمل المختلفة.
واحتاجت العملية إلى موارد حاسوبية يرجح أن تكون تكلفتها قد بلغت ملايين الدولارات، ووصف الباحث في الشركة نعوم براون التجربة بأنها “مكلفة جدا”، فيما نشرت “أوبن إيه آي” ورقة تتضمن الحل وبرهانا مكتوبا بلغة “Lean”، المستخدمة للتحقق الحاسوبي من البراهين، بما يسمح للمتخصصين بمراجعة النتيجة.
