GPT 5.5 Pro يحل مسألة رياضيات على مستوى الدكتوراه — حائز ميدالية فيلدز مندهش
أحدث بناء داخلي لـ GPT 5.5 Pro من OpenAI فعل شيئاً يرسل موجات صدمة عبر الرياضيات الأكاديمية: حل مسألة نظرية أعداد جمعية على مستوى الدكتوراه في أقل من ساعة — دون أي تلميحات بشرية أو سقالات أو توجيه وسيط.
التقييم أجراه لا غير السير Timothy Gowers، حائز ميدالية فيلدز وأحد أكثر علماء الرياضيات احتراماً في العالم. حكمه؟ النموذج أظهر ما وصفه بـ “قدرة برهان أصلي” — القدرة على بناء حجة رياضية جديدة من الصفر.
ماذا حدث
Gowers قدم للنموذج مسألة مفتوحة في نظرية الأعداد الجمعية — حقل فرعي يهتم بالخصائص الجمعية للأعداد الصحيحة. المسألة كانت قد قاومت الحل المباشر، متطلبة رؤية إبداعية بدلاً من الحساب بالقوة الغاشمة.
في غضون 60 دقيقة، أنتج GPT 5.5 Pro برهاناً كاملاً متماسكاً منطقياً. وصف Gowers سلسلة الاستدلال بأنها “أنيقة بشكل ملحوظ” — النوع من البرهان الذي قد ينتجه طالب دراسات عليا موهوب بعد أسابيع من العمل.
لماذا هذا مهم
هذا الاختراق له ثلاث آثار فورية:
-
البحث الرياضي على وشك التسارع بشكل كبير. إذا كانت النماذج الحدودية يمكنها إثبات نظريات جديدة بشكل مستقل، عنق الزجاجة ينتقل من “إيجاد البراهين” إلى “طرح الأسئلة الصحيحة.”
-
تعليم الرياضيات يواجه أسئلة وجودية. عندما تستطيع آلة التفوق على مرشحي الدكتوراه في الاستدلال، ماذا يجب أن نعلم؟ الإجماع الناشئ هو أن الحدس الرياضي وصياغة المشكلات يصبحان أكثر قيمة من الحساب.
-
تعريف ‘الفهم’ تحت الضغط. هل النموذج يفهم الرياضيات فعلاً، أم أنه يؤدي إكمال أنماط فائق التعقيد؟ Gowers نفسه يعترف أن التمييز يبهت.