نماذج الذكاء الاصطناعي تدخل تحديات الرياضيات الكبرى

المعلومة/ متابعة..
نشرت شركة OpenAI مئات الحلول والنتائج البحثية الجديدة المتعلقة بمسائل رياضية كبرى، في خطوة من المتوقع أن تزيد الجدل الدائر داخل المجتمع الرياضي والعلمي حول قدرة نماذج الذكاء الاصطناعي على تحقيق اختراقات حقيقية في الرياضيات.
وأعلنت الشركة نشر 722 مخطوطة بحثية على GitHub، تتضمن حلولًا ونتائج تقدم في 372 مسألة رياضية كبرى، توصل إليها نموذج متقدم من نماذج تشات جي بي تي لم تكشف "OpenAI" عنه للجمهور حتى الآن.
وأكدت المجموعة الاستشارية الجديدة التابعة لشركة OpenAI والمعنية بالرياضيات والذكاء الاصطناعي النتائج، لكن هذه الخطوة تأتي في ظل استمرار الجدل الذي أثارته سابقًا نتائج الذكاء الاصطناعي المتعلقة بمعادلات Navier-Stokes، إحدى أصعب المسائل المفتوحة في الرياضيات والفيزياء، بحسب تقرير نشره موقع "engadget"، لم تكن النتائج مفاجئة بالكامل، إذ أعلنت "OpenAI" الشهر الماضي أن نماذجها تمكنت من حل أكثر من 100 مسألة رياضية مفتوحة منذ سنوات في معظم فروع الرياضيات. وفي الإصدار الجديد، أرفقت الشركة مع الأبحاث معلومات إضافية حول طريقة عمل النموذج، بما في ذلك استدلاله، وتقديرات القدرة الحاسوبية المستخدمة، وعدد المسائل التي حاول حلها. وقالت "OpenAI" إن النتيجة المتوسطة من هذه النتائج احتاجت إلى نحو ثلاث ساعات من استخدام تشات جي بي تي برو.
وتقول الشركة إن نشر هذه الأعمال جاء وفق إرشادات وضعتها المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي (AGMAI)، والتي أوصت بإتاحة النتائج سريعًا عبر القنوات الأكاديمية التقليدية، إلى جانب تقديم تفاصيل مثل اسم النموذج المستخدم، والتعليمات التي تلقاها، والتكلفة الحاسوبية اللازمة للوصول إلى النتائج. ونشرت "OpenAI" الأبحاث في مستودع على GitHub، مع وضع بروتوكولات خاصة بمراجعة الأوراق البحثية وإضافة الاستشهادات العلمية إليها. كما قالت إنها تواصل دراسة خيارات أخرى لاستضافة هذه الأبحاث بما يتوافق مع إرشادات اللجنة، مع التزامها بتحسين جودة الأوراق المستقبلية من خلال تعزيز الاستشهادات، وطريقة شرح الرياضيات، وعرض النتائج بما يجعلها أسهل للفهم والتقييم.
فالشركة لم تنشر أوقات الحوسبة الدقيقة لكل مسألة، كما لم تكشف عن التعليمات المحددة (Prompts) التي استخدمها النموذج للوصول إلى النتائج. وهذا النقص في التفاصيل قد يجعل من الصعب على الباحثين إعادة تنفيذ التجارب والتحقق بشكل مستقل من الطريقة التي توصل بها النموذج إلى كل نتيجة. تتضمن النتائج التي أعلنت عنها "OpenAI" عددًا من الادعاءات اللافتة، من بينها تقديم حل لحدسية كاكيّا رباعية الأبعاد (Four-dimensional Kakeya conjecture)، إلى جانب تحسينات على خوارزميات حاسوبية أساسية، وتحقيق تقدم في اتجاه فرضية ريمان (Riemann hypothesis)، التي تعد واحدة من أكثر المسائل تحديًا في الرياضيات. وبحسب ما نقلته مجلة "Scientific American" عن "OpenAI"، فإن جميع الأوراق تقريبًا نتجت عن طلب واحد موجه إلى وكيل ذكاء اصطناعي واحد. وهذا يعني أن الشركة لا تصف النتائج بأنها نتاج عملية طويلة تتضمن سلسلة من المحاولات البشرية والآلية، بل تشير إلى قدرة النموذج على التعامل مع المسائل مباشرة استنادًا إلى طلب واحد. ورغم حجم النتائج المنشورة، فإن تأثيرها الحقيقي لا يزال بحاجة إلى تقييم علماء الرياضيات المتخصصين.
ويأتي ذلك في ظل حالة من التشكيك العلمي التي تعززت بعد الجدل السابق حول نتائج الذكاء الاصطناعي المتعلقة بمسائل Navier-Stokes، حيث أثارت بعض الادعاءات تساؤلات حول مدى إمكانية التحقق منها وإعادة إنتاجها بشكل مستقل. وقال عالم الرياضيات في معهد ماساتشوستس للتكنولوجيا أندرو ساذرلاند لمجلة "Scientific American" إنه إلى أن تنشر "OpenAI" النموذج ويصبح بإمكان الباحثين إعادة إنتاج النتائج، ينبغي التعامل مع أي ادعاءات بأن النموذج حل مسائل كاملة من المحاولة الأولى باستخدام وكيل واحد باعتبارها غير مثبتة بعد. وبالتالي، فإن نشر مئات النتائج الجديدة يمثل خطوة كبيرة في تجربة "OpenAI" لاستخدام الذكاء الاصطناعي في البحث الرياضي، لكنه لا يعني تلقائيًا أن هذه المسائل أصبحت محلولة بشكل نهائي. فالاختبار الحقيقي الآن سيكون أمام علماء الرياضيات، الذين يتعين عليهم فحص البراهين، واكتشاف أي ثغرات محتملة، ومحاولة إعادة إنتاج النتائج بشكل مستقل، قبل تحديد ما إذا كانت هذه الأعمال تمثل بالفعل اختراقات رياضية جديدة أم مجرد نتائج واعدة تحتاج إلى مزيد من التدقيق. انتهى 25