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