نسخة أولية وصول مفتوح AIProver: الصياغة الرسمية الآلية الوكيلية للبحث الرياضي عبر حزام متطور مدفوع بالشهادات بريتويش جانا, Viet Bach Hoang, لوغان لونا وآخرون · 2026