OpenAI تنفي اعتمادها على بحث رياضي في حل Navier-Stokes
أثارت خطوة OpenAI لحل مسألة Navier-Stokes جدلًا واسعًا في الأوساط الرياضية، بعدما أشار عالم الرياضيات Tristan Buckmaster إلى احتمال تأثر اتجاه الحل بتجاربه مع Codex، وهو ما نفته الشركة مؤكدة استقلال بحثها.
تفاصيل الخبر
تأتي هذه التطورات بعد إعلان الشركة عن نظام داخلي للذكاء الاصطناعي قالت إنه تمكن من إنتاج برهان لمسألة Navier-Stokes، وهي إحدى مسائل الألفية السبع التي حددها Clay Mathematics Institute وتبلغ قيمة الجائزة الخاصة بكل منها مليون دولار.
- كان Tristan Buckmaster، أستاذ الرياضيات في NYU، يعمل مع Levent Alpöge على أبحاث مرتبطة بمسألة Navier-Stokes، مع الاستعانة بنماذج الذكاء الاصطناعي لاستكشاف مسارات محتملة للبرهان.
- أثار Buckmaster مخاوف بشأن احتمال أن تكون تجاربه مع Codex قد ساهمت في توجيه OpenAI نحو مسار مشابه للحل الذي طورته لاحقًا.
- نفت OpenAI أن تكون مطالبات Buckmaster أو محادثاته مع Codex قد شكلت أساسًا لبرهانها، رغم استمرار النقاش حول إمكانية استفادة نماذج الذكاء الاصطناعي بصورة غير مباشرة من بيانات الاستخدام.
- قالت OpenAI إن نظامها الداخلي تمكن من إنتاج برهان تحليلي للمسألة، إلى جانب صياغة رسمية باستخدام Lean، وهي أداة متخصصة في التحقق من البراهين الرياضية.
- يشير الحل المقترح إلى إمكانية حدوث تفرد في تدفق الموائع خلال فترة زمنية محدودة، وهو جانب أساسي من الأسئلة التي تطرحها مسألة Navier-Stokes.
- لم تقتصر ادعاءات OpenAI على هذه المسألة، إذ أشارت الشركة أيضًا إلى تحقيق تقدم كبير في مسألة أخرى من مسائل الألفية، ما يعكس توسع دور الذكاء الاصطناعي في البحث الرياضي المتقدم.
- ومع ذلك، لا يعني إعلان OpenAI أن المسألة حُسمت رسميًا، إذ يحتاج البرهان إلى مراجعة دقيقة والتحقق منه بصورة مستقلة من جانب المجتمع الرياضي.
الأهداف المستقبلية
تعكس قضية OpenAI وTristan Buckmaster تحولًا في طبيعة استخدام الذكاء الاصطناعي داخل الأبحاث الرياضية، من مجرد المساعدة في الحسابات إلى محاولة إنتاج براهين واكتشاف مسارات جديدة لحل مسائل ظلت مفتوحة لعقود.
- تطوير أنظمة ذكاء اصطناعي قادرة على التعامل مع المسائل الرياضية شديدة التعقيد.
- الاعتماد على Lean وأدوات التحقق الرسمي لفحص البراهين التي تنتجها النماذج.
- تسريع البحث عن حلول لمسائل رياضية وعلمية معقدة ظلت دون حل لفترات طويلة.
- تعزيز الشفافية حول كيفية استخدام بيانات الباحثين أثناء تطوير واختبار أنظمة الذكاء الاصطناعي.
- وضع معايير أكثر وضوحًا لحفظ حقوق الباحثين وتحديد المساهمات عند استخدام الذكاء الاصطناعي في الاكتشافات العلمية.
تضع قضية OpenAI وTristan Buckmaster الذكاء الاصطناعي أمام اختبار جديد يتجاوز قدرته على الحساب والاستدلال إلى قضايا تتعلق بالشفافية وأخلاقيات البحث العلمي ونسب الفضل. وبينما تنفي OpenAI اعتمادها على محادثات Codex، فإن الجدل يؤكد أهمية المراجعة المستقلة قبل اعتبار أي برهان مولد بالذكاء الاصطناعي إنجازًا رياضيًا نهائيًا.
