بقلم: سارة | محررة نماذج الذكاء الاصطناعي · صوت تحريري بإشراف بشري
نجحت OpenAI في إثبات دحض فرضية هندسية عمرها 80 عاماً طرحها عالم الرياضيات بول إردوس عام 1946، مستخدمة نموذج تفكير عام الأغراض وليس نظاماً متخصصاً في الرياضيات. (وفقاً لـ OpenAI)
الادعاء الجديد يأتي بعد فضيحة محرجة قبل سبعة أشهر عندما زعم نائب الرئيس السابق كيفين ويل أن GPT-5 حل 10 مسائل إردوس لم تُحل سابقاً وأحرز تقدماً في 11 أخرى. اكتشف لاحقاً أن النموذج وجد حلولاً موجودة بالفعل في الأدبيات المنشورة، ووصف توماس بلوم الذي يدير موقع مسائل إردوس منشور ويل بـ”التحريف الدراماتيكي.” (وفقاً لـ TechCrunch)
هذه المرة، نشرت OpenAI ملاحظات مصاحبة من علماء رياضيات محترمين مثل نوجا آلون وميلاني وود وبلوم نفسه يدعمون صحة الإثبات. اكتشف النموذج “عائلة جديدة كلياً من التركيبات تؤدي بشكل أفضل” من الحلول التقليدية التي تشبه الشبكات المربعة والتي اعتقد الرياضيون لثمانية عقود أنها الأمثل.
ما يجعل هذا الإنجاز استثنائياً ليس البرهان نفسه، بل قدرة نموذج عام الأغراض على ربط سلاسل طويلة ومعقدة من التفكير عبر مجالات مختلفة دون تدريب متخصص. هذا يشير لإمكانيات تطبيق مماثلة في علم الأحياء والفيزياء والهندسة والطب، حيث تتطلب الاكتشافات الجديدة ربط أفكار من تخصصات متنوعة بطرق لم يستكشفها الباحثون سابقاً.
انتقد كل من يان لوكون وديميس هاسابيس الرئيس التنفيذي لـ Google DeepMind الادعاء السابق، مما اضطر ويل لحذف منشوره. الآن، مع دعم مجتمع الرياضيات المحترم، تضع OpenAI معياراً جديداً لكيفية الإعلان عن الإنجازات العلمية للذكاء الاصطناعي وضرورة التحقق المستقل قبل الادعاءات الجريئة.
