القلعة نيوز - أعلنت شركة OpenAI أن أحد نماذجها الجديدة المتخصصة في الاستدلال المنطقي تمكن من إنتاج برهان رياضي أصلي يدحض فرضية هندسية شهيرة ظلت دون حل منذ عام 1946، عندما طرحها عالم الرياضيات المجري الشهير بول إيردوس.

ورغم أن هذه ليست المرة الأولى التي تطلق فيها "OpenAI" ادعاءات من هذا النوع، تؤكد الشركة أن الوضع مختلف هذه المرة.

فقبل سبعة أشهر، نشر كيفن وايل، نائب الرئيس السابق في "OpenAI"، منشورًا عبر منصة "إكس" قال فيه إن نموذج GPT-5 نجح في حل 10 مسائل غير محلولة من مسائل إيردوس، وأحرز تقدمًا في 11 مسألة أخرى.

لكن تبين لاحقًا أن النموذج لم يكتشف حلولًا جديدة، بل أعاد إنتاج حلول موجودة بالفعل في الأدبيات الرياضية المنشورة، بحسب تقرير نشره موقع "تك كرانش".

وأثار ذلك موجة انتقادات من شخصيات بارزة في مجال الذكاء الاصطناعي، من بينهم يان ليكون والرئيس التنفيذي لشركة ديب مايند ديميس هاسابيس، ما دفع وايل إلى حذف منشوره لاحقًا.

لكن "OpenAI" تؤكد أنها هذه المرة دعمت إعلانها بتقييمات مستقلة من عدد من علماء الرياضيات، بينهم Noga Alon وMelanie Wood وThomas Bloom، الذي سبق أن وصف تصريحات وايل السابقة بأنها تحريف مبالغ فيه.

وقالت الشركة إن علماء الرياضيات اعتقدوا طوال نحو 80 عامًا أن أفضل الحلول الممكنة لهذه المسألة تشبه الشبكات المربعة تقريبًا، لكن النموذج الجديد اكتشف عائلة جديدة بالكامل من التركيبات الرياضية تحقق نتائج أفضل.

وأضافت "OpenAI" أن هذه هي المرة الأولى التي ينجح فيها الذكاء الاصطناعي بشكل مستقل في حل مسألة مفتوحة بارزة وأساسية في أحد فروع الرياضيات.

ووفقًا للشركة، جاء البرهان عبر نموذج استدلال عام جديد، وليس من خلال نظام صُمم خصيصًا لحل المسائل الرياضية أو هذه المسألة تحديدًا.

وترى "OpenAI" أن أهمية هذا الإنجاز تكمن في أن أنظمة الذكاء الاصطناعي أصبحت أكثر قدرة على التعامل مع سلاسل طويلة ومعقدة من التفكير، وربط الأفكار بين تخصصات مختلفة بطرق ربما لم يستكشفها الباحثون من قبل.

وقد تمتد آثار هذه القدرات الجديدة إلى مجالات مثل الأحياء والفيزياء والهندسة والطب.

وقال توماس بلوم في بيان: "الذكاء الاصطناعي يساعدنا على استكشاف صرح الرياضيات الذي بنيناه عبر القرون بصورة أعمق، وربما لا تزال هناك عجائب غير مكتشفة تنتظرنا."