في عالم الرياضيات، حيث تتحدى المشكلات المفتوحة أذهان العلماء والباحثين، يأتي دور الذكاء الاصطناعي ليحدث ثورة في طريقة تعاملنا مع هذه القضايا. يتمثل أحد أحدث التطورات في هذا المجال في "بروف كونسيل" (ProofCouncil)، وهو وكيل رياضي مبتكر يستخدم نماذج لغوية ضخمة (LLMs) لحل المشكلات الرياضية المعقدة.

يستخدم بروف كونسيل بنية "مؤلف-ناقد" (author-critic architecture) لمواجهة التحديات الواقعية التي يطرحها البحث الرياضي. لقد تم طرحه ضمن الجولة الثانية من تحدي "فرس بروف" (FirstProof)، حيث كان عليه التعامل مع 10 مشكلات رياضية حقيقية، وقد حقق نتائج رائعة - حيث تم الاعتراف ب6 من الإجابات المسجلة كصحيحة مع بعض التعديلات الطفيفة، وهو ما يمثل الأداء الأفضل بين الفرق المشاركة.

لم يتوقف إنجاز بروف كونسيل عند هذه النقطة، بل تم تقييمه أيضاً في 30 مشكلة مفتوحة تم جمعها من الباحثين في الرياضيات. من بين 21 حلاً تلقت تعليقات بشريّة، تم الحكم على 5 منها بأنها صحيحة تمامًا، و2 أخرى وعدت بمزيد من التحسين بعد التحقق النهائي، بينما بدت 8 حلول أخرى تحتوي على تقدم جزئي مفيد.

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

فهل نحن أمام بداية جديدة في عالم الرياضيات بفضل الذكاء الاصطناعي؟ ما رأيكم في هذه التطورات المثيرة؟ شاركونا في التعليقات!