في 15 دقيقة فقط.. “جي بي تي” يقلب موازين الرياضيات ويفك لغز مسائل إردوش في إنجاز علمي غير مسبوق

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

تجربة تكشف قدرات غير متوقعة

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

برهان مختلف عن الحلول الكلاسيكية

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

تسارع مذهل في حل مسائل إردوش

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

رؤية العلماء: الذكاء الاصطناعي و”الذيل الطويل”

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

توثيق الحلول وضمان الموثوقية

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

هل يتغير مستقبل الرياضيات؟

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