Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
Cogentic claims five novel open-problem results using a Gemini-based multi-agent proof harness.
The system runs independent prover agents in different directions, then sends their work through adversarial verification components. Confirmed intermediate results are stored in a persistent verified ledger for later rounds. The authors say the results span online learning, auction theory, and mechanism design, with each independently checked by domain experts and expanded in companion papers. ArXiv · AI/CL/LG's note
The system runs independent prover agents in different directions, then sends their work through adversarial verification components. Confirmed intermediate results are stored in a persistent verified ledger for later rounds. The authors say the results span online learning, auction theory, and mechanism design, with each independently checked by domain experts and expanded in companion papers. ArXiv · AI/CL/LG's note
score 4