Google Research's Cogentic uses multi-agent proof search to produce verified results

Google Research's Cogentic is a multi-agent harness running on Gemini that searches for proofs of open theoretical computer science problems without expert hints.

It runs rounds where an orchestrator launches provers, two adversarial verifiers must both accept each draft, and shared disk documents store attempts and verified lemmas.

The system produced new results on five open problems in online learning, auction theory, and mechanism design, each checked by domain experts.