في تطور مثير لعالم الرياضيات، تم تقديم نتائج جديدة بشأن ثمانية مشاكل في الرياضيات وعلوم الكمبيوتر النظرية، ساعدت فيها نماذج اللغة الكبيرة (Large Language Models) من خلال النظام المفتوح بولتسانو. يعمل بولتسانو كمنظّم يجري جولات من التفاعل بين وكلاء إثبات متوازيين ووكيل تحقّق، مع الحفاظ على قاعدة بيانات معرفية ثابتة تتضخم عبر الجولات.

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

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