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