Cogentic organizes Gemini instances into roles resembling a research group.
Multi-agent orchestration produced proofs for five open research problems
Cogentic coordinated parallel Gemini provers, adversarial verification, and persistent intermediate results to develop expert-verified natural-language proofs.
Big Tech
Yang Cai · Vineet Gupta · Yanchen Jiang · Christopher Liaw · Aranyak Mehta · Grigoris Velegkas · +1 more
Google Research · Yale University · Google DeepMind
Research Digest··2 min read
Cai et al.
Why this paper
From Google Research and 2 others
In one line
Cogentic uses an orchestrator to allocate provers and adversarial verifiers to automatically discover proofs for open research problems.
What we could check
- ·No code link found
- ·No weights link found
- ·No dataset link found
- ·No compute details found
- ·No stated limitations found
- ·No benchmark numbers found
Observed from the paper text and links we have. Absence here means we did not find it, not that it does not exist.
§