Google's multi-agent harness hits 71% on research-level theorem proving, yields new open-problem results
omarsar0 · x · 2026-09-16
Google Research built Stellar Colosseum, a many-agent harness for long mathematical proofs that produced new results on open problems from FOCS and JMLR papers.
- How it works: works in stages — explores several proof strategies, passes a readiness gate before splitting a route into section-level subproblems, and routes verifier findings back to affected sections. Within each stage, candidates are generated in parallel, attacked with targeted falsification, and merged with their critiques.
- Results: with Gemini 3.1 Pro and Gemini 3.7 Flash it reaches 71.0% on TCS-Bench (research-level theorem proving tasks from FOCS, STOC and SODA papers); with execution feedback it solves 218 of 222 Codeforces problems.
More from coding & agent
- Tencent unveils Hyra 2.0, a research agent that builds reusable scientific tools — TencentHunyuan · 2026-11-02
- General Reasoning explains how to train agent swarms with RL and latency pressure — rosstaylor90 · 2026-11-02
- "Coding isn't the bottleneck anymore — usage windows are," says founder Kyle Gawley — kylegawley · 2026-11-02
- Demo passed ≠ production-ready: 5 questions to answer before letting agents run your business — _kellhus · 2026-11-02
- An AI agent passed 100 test chats—still not ready to run the business — djgoel123 · 2026-11-02
- Agent given total creative freedom produces a 1:44 code-drawn animated short film — ivegotnoidea1 · 2026-11-02