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