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