إنجاز الذكاء الاصطناعي: حل مسألة إردوش الرياضية

حلّ نموذج ذكاء اصطناعي مسألة رياضية عمرها 80 عاماً.

يمثل هذا الإنجاز علامة فارقة في قدرات الذكاء الاصطناعي الرياضية.

تُعرف هذه المسألة بـ "مسألة المسافة الوحدوية" التي طرحها عالم الرياضيات بول إردوش عام 1946.

طبيعة مسألة إردوش الرياضية

مسألة إردوش الرياضية تسأل عن الحد الأقصى لأزواج النقاط.

هذه النقاط تفصل بينها وحدة واحدة في مستوى ثنائي الأبعاد.

كان إردوش قد زعم أن هذا العدد سيزداد بوتيرة أسرع من عدد النقاط.

أدق حدٍ بشري لهذه المسألة وُضع عام 1984.

إنجاز الذكاء الاصطناعي في حل المسألة

أعلنت OpenAI أن نموذج ذكاء اصطناعي داخلي قد حل المسألة.

وجد النموذج ترتيبات تجاوزت الحد الذي وضعه إردوش.

لم يُدرب نموذج الاستدلال العام هذا خصيصاً لهذه المسألة.

لم يُدرب حتى في الرياضيات على الإطلاق.

يُمثل هذا البرهان المرة الأولى التي تُحل فيها مسألة مفتوحة بارزة بالذكاء الاصطناعي.

منهج الذكاء الاصطناعي الجديد

استخدم نموذج OpenAI منهجاً جديداً تماماً.

استبدل نظرية عاملة تُستخدم عادة في مسألة المسافة الوحدوية.

كانت هذه الأفكار معروفة لعلماء نظرية الأعداد الجبرية.

كان مفاجئاً أن يكون لها آثار على المسائل الهندسية.

دور الإنسان في التحقق والتعاون

الهدف من هذه التقنية هو تحسين عمل علماء الرياضيات.

لا تهدف التقنية إلى استبدالهم.

طُلب من علماء رياضيات خارجيين مراجعة النتائج وتأكيدها.

قاموا بكتابة ورقة بحثية مُصاحبة لشرح السياق.

عالم الرياضيات توماس بلوم أكد صحة البرهان الأصلي.

أشار إلى تحسينه بفضل الباحثين البشريين.

لا يزال للإنسان دور حيوي في فهم وتحسين البرهان واستكشاف تبعاته.

ردود فعل مجتمع الرياضيات

كانت ردود فعل علماء الرياضيات إيجابية للغاية.

أشاد أستاذ الرياضيات تيم جاورز بالإنجاز.

وصفه بأنه "إنجاز بارز في مجال الرياضيات القائمة على الذكاء الاصطناعي".

لم يقترب أي برهان سابق مُولد بواسطة الذكاء الاصطناعي من هذا المستوى.

آفاق مستقبلية وتحديات سابقة

تتجاوز هذه النتيجة مسألة المسافة الوحدوية المستوية.

تُعد برهاناً على المفهوم لتطبيق الذكاء الاصطناعي في البحوث الرائدة.

سبق لـ OpenAI أن ادعت حل مسائل رياضية أخرى.

تراجع المسؤولون عن بعض التصريحات السابقة.

أشار الخبراء إلى أن بعض المشاكل كانت قد حُلت بالفعل.