يقدم المؤلفون ستيلار كولوسيوم، وهو إطار عمل عام النماذج مصمم لتوزيع الاستنتاج عبر مشاكل البحث طويلة المدى في الرياضيات وعلوم الحاسوب النظرية. يستكشف النظام استراتيجيات بديلة قبل بناء البراهين، ويستخدم بوابة جاهزية لتحديد متى يتم تفكيك المسارات، ويمثل خطط البرهان كمسائل فرعية مترابطة.
يولد كولوسيوم مرشحين بالتوازي، ويهاجمهم بتزوير مستهدف، ويجمع النتائج من خلال تجميع شجرة العينات العشوائية المتداخلة. تم دمج هذا التدفق في إطار عمل Teamwork الخاص بـ Google Antigravity كنمط البرهان الطويل. أظهرت التقييمات على TCS-Bench دقة بنسبة 71.0% باستخدام Gemini 3.1 Pro وGemini 3.7 Flash. بالإضافة إلى ذلك، حلّت خط أنابيب موجه نحو البرهان مع تغذية راجعة للتنفيذ 218 من أصل 222 مشكلة في Codeforces.
يعالج الإطار عدم موثوقية نماذج اللغة في مهام البحث المعقدة من خلال إدارة تسلسلات القرارات غير المؤكدة عبر التحقق الهيكلي والتجميع.