في عالم الرياضيات حيث يعتبر البحث عن الإثباتات من التحديات الكبرى، يظهر نظام بولزانو كحل مبتكر جعل من الذكاء الاصطناعي (AI) شريكًا فاعلًا في تطوير الأبحاث. يتألف نظام بولزانو من نظام متعدد الوكلاء، حيث يعمل وكلاء الإثبات بالتوازي مع وكيل التحقق للحفاظ على حالة بحث قابلة للفهم من قبل البشر.

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

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