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

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

وقال سوماني إن المفاجأة لم تكن في الحل فحسب، بل في مسار التفكير الذي عرضه النموذج، حيث استند إلى بديهيات ونظريات رياضية متقدمة، مثل صيغة ليجندر ومسلمة برتراند، قبل أن يصل إلى برهان متكامل لمسألة منسوبة إلى عالم الرياضيات المجري الشهير بول إردوش.

وأشار إلى أن النموذج اعتمد جزئياً على نقاش علمي سابق نُشر عام 2013، قدّم فيه عالم الرياضيات بجامعة هارفارد نعوم إلكيس حلاً لمسألة قريبة، لكنه انتهى إلى صياغة أكثر شمولاً ودقة.

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

ومع إطلاق الإصدار GPT 5.2، الذي وصفه سوماني بأنه الأكثر تقدماً في الاستدلال الرياضي حتى الآن، ارتفع عدد المسائل التي انتقلت من خانة “المفتوحة” إلى “المحلولة”، لا سيما ضمن ما يُعرف بـ«مسائل إردوش»، التي تضم أكثر من ألف مسألة تشكّل تحدياً تاريخياً للرياضيين.

وبحسب معطيات بحثية حديثة، جرى حل 15 مسألة من هذه المجموعة خلال الأشهر الماضية، مع تسجيل مساهمة مباشرة للذكاء الاصطناعي في 11 منها.

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

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

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