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