نماذج الذكاء الاصطناعي تقتحم عالم الرياضيات وتحل مسائل حيّرت العلماء لعقود

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