저자들은 Stellar Colosseum을 소개합니다. 이는 수학 및 이론 컴퓨터 과학 분야의 장기 연구 문제에 추론을 할당하기 위해 설계된 모델 비종속성(harness)입니다. 이 시스템은 증명 구성 전에 대체 전략을 탐색하고, 준비 게이트(readiness gate)를 사용하여 경로를 분해할 시기를 결정하며, 증명 계획을 상호의존적인 하위 문제로 표현합니다.
Colosseum은 병렬로 후보를 생성하고 표적화된 반증으로 이를 공격하며, 겹치는 랜덤 샘플 트리 집계를 통해 결과를 결합합니다. 이 워크플로는 Google Antigravity의 Teamwork 프레임워크에 Long Proof 패턴으로 통합되었습니다. TCS-Bench 평가에서 Gemini 3.1 Pro 및 Gemini 3.7 Flash를 사용하여 71.0%의 정확도를 달성했습니다. 또한 실행 피드백이 있는 증명 중심 파이프라인은 Codeforces 문제 222개 중 218개를 해결했습니다.
이 harness는 구조화된 검증과 집계를 통해 불확실한 의사결정의 시퀀스를 관리함으로써 언어 모델의 복잡한 연구 작업에 대한 신뢰성 부족 문제를 해결합니다.