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