DeepMind تطور وكيل للذكاء الاصطناعي لحل المسائل الرياضية
كشفت Google DeepMind عن نظام AlphaProof Nexus، وهو وكيل للذكاء الاصطناعي يستطيع البحث عن براهين رياضية والتحقق من صحتها باستخدام البرمجيات. وتمكن النظام من حل 9 مسائل من مسائل إردوش المفتوحة، في خطوة قد تعزز دور الذكاء الاصطناعي في الاكتشافات الرياضية والبحث العلمي.
تفاصيل الخبر
نشرت Google DeepMind بحثًا علميًا في مجلة Science بعنوان Advancing Mathematics Research with AI-Driven Formal Proof Search، يستعرض كيفية استخدام وكلاء الذكاء الاصطناعي للبحث عن حلول لمسائل رياضية لم تُحل بعد. ويعتمد النظام على الجمع بين قدرات نماذج Gemini في الاستدلال الرياضي وأداة التحقق الرسمية Lean، التي تفحص خطوات البرهان للتأكد من صحتها المنطقية.
وتتمثل أبرز نتائج البحث في النقاط التالية:
- حل مسائل رياضية مفتوحة: نجح AlphaProof Nexus في حل 9 مسائل من أصل 353 مسألة من مسائل إردوش التي حاول معالجتها.
- حل مسائل قديمة: تضمنت النتائج مسألتين ظلتا دون حل لأكثر من 50 عامًا.
- التحقق من البراهين: يستخدم النظام Lean لفحص خطوات البرهان آليًا، ما يساعد على اكتشاف الأخطاء المنطقية بدلًا من الاعتماد على إجابات النموذج وحدها.
- تعاون عدة وكلاء: ينسق النظام بين وكلاء فرعيين يبحث كل منهم عن طرق مختلفة للوصول إلى البرهان، مع الاستفادة من التغذية الراجعة التي يوفرها نظام التحقق.
- نتائج في مجالات أخرى: تمكن النظام من إثبات 44 حدسية مفتوحة من أصل 492 حدسية في موسوعة متتاليات الأعداد الصحيحة (OEIS)، إلى جانب مسائل بحثية في مجالات مثل الهندسة الجبرية ونظرية الرسوم البيانية والتحسين والبصريات الكمومية.
وتوضح هذه النتائج أن النظام لا يقتصر على حل المسائل الرياضية المعروفة، بل يستطيع المساهمة في استكشاف مسائل بحثية مفتوحة. ومع ذلك، فإن نجاحه في بعض المسائل لا يعني قدرته على حل جميع المسائل الرياضية المعقدة بصورة مستقلة.
الأهداف المستقبلية
تطمح Google DeepMind إلى جعل الذكاء الاصطناعي أداة مساعدة للباحثين في اكتشاف نتائج رياضية جديدة، وليس مجرد وسيلة لحل التمارين التقليدية. وقد تساهم هذه التقنية في تسريع البحث في المسائل التي تتطلب استدلالًا طويلًا ودقيقًا.
ومن أبرز التطبيقات المستقبلية المحتملة:
- تسريع الاكتشافات الرياضية: مساعدة الباحثين على استكشاف طرق جديدة لحل المسائل المفتوحة.
- تحسين موثوقية الذكاء الاصطناعي: الجمع بين توليد البراهين والتحقق الآلي للحد من الأخطاء المنطقية.
- دعم التعاون بين الإنسان والآلة: تقديم براهين وفرضيات يمكن للرياضيين مراجعتها وتطويرها.
- التوسع في العلوم الأخرى: الاستفادة من أساليب البحث والتحقق في مجالات علمية تحتاج إلى استدلال رياضي معقد.
- إتاحة نتائج قابلة للمراجعة: نشر البراهين الرسمية التي ينتجها النظام، بما يسمح للباحثين بفحصها وإعادة التحقق منها.
ومع ذلك، لا يعني هذا التطور أن الذكاء الاصطناعي أصبح بديلًا عن علماء الرياضيات؛ إذ يظل تفسير النتائج وتحديد أهميتها وتطوير المعرفة العلمية من المهام التي تستفيد من الخبرة البشرية.
يمثل AlphaProof Nexus خطوة مهمة نحو استخدام الذكاء الاصطناعي في الأبحاث الرياضية المتقدمة، بفضل قدرته على البحث عن البراهين والتحقق منها آليًا. ومع نجاحه في حل مسائل ظلت مفتوحة لعقود، يبرز احتمال أن تصبح هذه الأنظمة شريكًا فعالًا للباحثين في اكتشاف حلول جديدة، مع استمرار الحاجة إلى التحقق العلمي وتقييم النتائج.
