شركة "OpenAI" تنشر مئات الحلول والنتائج البحثية الجديدة لمسائل رياضية كبرى

نشرت شركة OpenAI مئات الحلول والنتائج البحثية الجديدة المتعلقة بمسائل رياضية كبرى، في خطوة من المتوقع أن تزيد الجدل الدائر داخل المجتمع الرياضي والعلمي حول قدرة نماذج الذكاء الاصطناعي على تحقيق اختراقات حقيقية في الرياضيات.

وأعلنت الشركة نشر 722 مخطوطة بحثية على GitHub، تتضمن حلولًا ونتائج تقدم في 372 مسألة رياضية كبرى، توصل إليها نموذج متقدم من نماذج تشات جي بي تي لم تكشف "OpenAI" عنه للجمهور حتى الآن.

وأكدت المجموعة الاستشارية الجديدة التابعة لشركة OpenAI والمعنية بالرياضيات والذكاء الاصطناعي النتائج، لكن هذه الخطوة تأتي في ظل استمرار الجدل الذي أثارته سابقًا نتائج الذكاء الاصطناعي المتعلقة بمعادلات Navier-Stokes، إحدى أصعب المسائل المفتوحة في الرياضيات والفيزياء، بحسب تقرير نشره موقع "engadget" واطلعت عليه "العربية Business".

ولم تكن النتائج مفاجئة بالكامل، إذ أعلنت "OpenAI" الشهر الماضي أن نماذجها تمكنت من حل أكثر من 100 مسألة رياضية مفتوحة منذ سنوات في معظم فروع الرياضيات. وفي الإصدار الجديد، أرفقت الشركة مع الأبحاث معلومات إضافية حول طريقة عمل النموذج، بما في ذلك استدلاله، وتقديرات القدرة الحاسوبية المستخدمة، وعدد المسائل التي حاول حلها. وقالت "OpenAI" إن النتيجة المتوسطة من هذه النتائج احتاجت إلى نحو ثلاث ساعات من استخدام تشات جي بي تي برو.

وتقول الشركة إن نشر هذه الأعمال جاء وفق إرشادات وضعتها المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي (AGMAI)، والتي أوصت بإتاحة النتائج سريعًا عبر القنوات الأكاديمية التقليدية، إلى جانب تقديم تفاصيل مثل اسم النموذج المستخدم، والتعليمات التي تلقاها، والتكلفة الحاسوبية اللازمة للوصول إلى النتائج. ونشرت "OpenAI" الأبحاث في مستودع على GitHub، مع وضع بروتوكولات خاصة بمراجعة الأوراق البحثية وإضافة الاستشهادات العلمية إليها.

ولم تلتزم "OpenAI" بجميع توصيات المجموعة الاستشارية. فالشركة لم تنشر أوقات الحوسبة الدقيقة لكل مسألة، كما لم تكشف عن التعليمات المحددة التي استخدمها النموذج للوصول إلى النتائج. وهذا النقص في التفاصيل قد يجعل من الصعب على الباحثين إعادة تنفيذ التجارب والتحقق بشكل مستقل من الطريقة التي توصل بها النموذج إلى كل نتيجة.

وتتضمن النتائج التي أعلنت عنها "OpenAI" عددًا من الادعاءات اللافتة، من بينها تقديم حل لحدسية كاكيّا رباعية الأبعاد، إلى جانب تحسينات على خوارزميات حاسوبية أساسية، وتحقيق تقدم في اتجاه فرضية ريمان، التي تعد واحدة من أكثر المسائل تحديًا في الرياضيات.

ورغم حجم النتائج المنشورة، فإن تأثيرها الحقيقي لا يزال بحاجة إلى تقييم علماء الرياضيات المتخصصين. ويأتي ذلك في ظل حالة من التشكيك العلمي التي تعززت بعد الجدل السابق حول نتائج الذكاء الاصطناعي المتعلقة بمسائل Navier-Stokes، حيث أثارت بعض الادعاءات تساؤلات حول مدى إمكانية التحقق منها وإعادة إنتاجها بشكل مستقل. وقال عالم الرياضيات في معهد ماساتشوستس للتكنولوجيا أندرو ساذرلاند لمجلة "Scientific American" إنه إلى أن تنشر "OpenAI" النموذج ويصبح بإمكان الباحثين إعادة إنتاج النتائج، ينبغي التعامل مع أي ادعاءات بحذر حتى يتم فحص البراهين واكتشاف أي ثغرات محتملة بشكل مستقل.