نماذج الذكاء الاصطناعي تقتحم عالم الرياضيات المعقدة وتحقق اختراقات غير مسبوقة

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

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

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

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

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

ومنذ نهاية العام الماضي، تحولت 15 مسألة من «مسائل إردوش» من مفتوحة إلى محلولة، مع تسجيل مساهمة للذكاء الاصطناعي في 11 منها، ما يعكس تسارعًا لافتًا في هذا المجال.

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