أعلنت شركة أوبن أيه آي أن أحد نماذجها الجديدة المتخصصة في الاستدلال المنطقي قد تمكن من إنتاج برهان رياضي أصلي يدحض فرضية هندسية شهيرة ظلت دون حل منذ عام 1946، عندما طرحها عالم الرياضيات المجري بول إيردوس. ورغم أن الشركة قد أصدرت ادعاءات مماثلة سابقاً، إلا أنها تؤكد أن الوضع مختلف هذه المرة. قبل سبعة أشهر، أعلن كيفن وايل، نائب الرئيس السابق في أوبن أيه آي، عبر منصة "إكس" أن نموذج GPT-5 قد نجح في حل عشر مسائل غير محلولة من مسائل إيردوس، وأحرز تقدماً في 11 مسألة أخرى. لكن تبين لاحقاً أن النموذج لم يكتشف حلولاً جديدة، بل أعاد إنتاج حلول موجودة في الأدبيات الرياضية، مما أثار انتقادات من شخصيات بارزة في مجال الذكاء الاصطناعي. ونتيجة لذلك، قام وايل بحذف منشوره. ومع ذلك، أكدت أوبن أيه آي أن إعلانها الحالي مدعوم بتقييمات مستقلة من عدد من علماء الرياضيات، الذين وصفوا التصريحات السابقة بأنها تحريف مبالغ فيه. وأوضحت الشركة أن علماء الرياضيات اعتقدوا أن أفضل الحلول الممكنة لهذه المسألة تشبه الشبكات المربعة تقريباً، لكن النموذج الجديد اكتشف مجموعة جديدة بالكامل من التركيبات الرياضية تحقق نتائج أفضل. وأشارت أوبن أيه آي إلى أن هذه هي المرة الأولى التي ينجح فيها الذكاء الاصطناعي بشكل مستقل في حل مسألة مفتوحة بارزة في أحد فروع الرياضيات. ووفقاً للشركة، جاء البرهان عبر نموذج استدلال عام جديد، وليس من خلال نظام صمم خصيصاً لحل المسائل الرياضية. وأعرب توماس بلوم عن أهمية هذا الإنجاز بقوله: "الذكاء الاصطناعي يساعدنا على استكشاف صرح الرياضيات الذي بنيناه عبر القرون بصورة أعمق، وربما لا تزال هناك عجائب غير مكتشفة تنتظرنا."