يصف بحث منشور على arXiv نظام Bolzano، وهو نظام مفتوح المصدر متعدد الوكلاء للبحث عن البراهين، حلّ نحو 200 مسألة مفتوحة من قرابة 3,800 مسألة جُمعت من أربع مجموعات من الأوراق البحثية، من دون توجيه بشري خاص بكل مسألة. وفي تجربة على أوراق قُبلت في مؤتمر STOC 2026، أجاب النظام عن أربعة أسئلة مفتوحة أكد مؤلفو الأوراق صحة الإجابات عنها.

يتكون النظام من وكلاء برهان يعملون بالتوازي، ووكيل للتحقق، كما يحتفظ بحالة بحثية قابلة للقراءة البشرية. ويذكر الفريق أن الاستخدام اليدوي الأولي للنظام على مسائل اختيرت بمساعدة خبراء أسفر عن ثماني نتائج، تحقق خبراء المجال من براهينها.

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

يمكن الاطلاع على نسخة PDF أو نسخة HTML التجريبية للورقة المقدمة في 7 أكتوبر 2026. صفحة الورقة على arXiv