OpenAI تعلن حل مسألة رياضية معلقة منذ 80 عام

تقول OpenAI إن نموذج الاستدلال الجديد الخاص بها تمكن من إنتاج برهان رياضي أصلي يدحض فرضية هندسية شهيرة غير محلولة، طُرحت لأول مرة من قبل Paul Erdős عام 1946.
إذا بدا الأمر مألوفًا بالنسبة لك، فلأن هذه ليست المرة الأولى التي تطلق فيها OpenAI ادعاءً جريئًا كهذا. فقبل سبعة أشهر، نشر Kevin Weil، نائب الرئيس السابق في الشركة، على X قائلًا: “وجد GPT-5 حلولًا لـ10 (!) من مسائل Erdős غير المحلولة سابقًا وأحرز تقدمًا في 11 مسألة أخرى.”
لكن اتضح لاحقًا أن GPT-5 لم يحل تلك المسائل فعليًا؛ بل اكتشف حلولًا كانت موجودة بالفعل في الأدبيات الرياضية.
وأعقب ذلك سخرية من منافسين مثل Yann LeCun والرئيس التنفيذي لـ Google DeepMind، Demis Hassabis، ما دفع Weil إلى حذف منشوره المتسرع سريعًا. أما هذه المرة، فيبدو على الأقل أن OpenAI لم تكرر الخطأ نفسه. فإلى جانب الإعلان، نشرت الشركة تعليقات داعمة لعملية الدحض من رياضيين مثل Noga Alon وMelanie Wood وThomas Bloom، الذي يدير موقع Erdos Problems وكان قد وصف منشور Weil سابقًا بأنه “تحريف دراماتيكي للحقيقة.”
وقالت OpenAI في منشور على X: “على مدار ما يقرب من 80 عامًا، اعتقد علماء الرياضيات أن أفضل الحلول الممكنة تبدو تقريبًا مثل الشبكات المربعة. لكن نموذجًا من OpenAI دحض هذا الاعتقاد الآن، مكتشفًا عائلة جديدة بالكامل من البنى الرياضية التي تحقق أداءً أفضل.”
وأضافت الشركة أن هذا يمثل “أول مرة يتمكن فيها الذكاء الاصطناعي بشكل مستقل من حل مسألة مفتوحة بارزة ومحورية في أحد فروع الرياضيات.” ووفقًا لـ OpenAI، فإن البرهان جاء من نموذج استدلال عام جديد، وليس من نظام صُمم خصيصًا لحل مسائل الرياضيات أو حتى هذه المسألة بعينها.
وتقول OpenAI إن أهمية هذا الإنجاز تكمن في أنه يعني أن أنظمة الذكاء الاصطناعي أصبحت الآن أكثر قدرة على الحفاظ على سلاسل طويلة ومعقدة من الاستدلال وربط الأفكار بين المجالات بطرق ربما لم يستكشفها الباحثون سابقًا. ولهذا الأمر انعكاسات محتملة على مجالات مثل الأحياء والفيزياء والهندسة والطب.
وقال Bloom في بيان: “يساعدنا الذكاء الاصطناعي على استكشاف كاتدرائية الرياضيات التي بنيناها على مدى قرون بشكل أكثر اكتمالًا. فما العجائب الأخرى غير المرئية التي تنتظر دورها للظهور؟”
الخبر منقول ومترجم من TechCrunch.
المصدر