Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Source facts

The preprint describes an orchestrator that assigns independent provers to competing proof directions, uses specialized adversarial verification components, and promotes confirmed intermediate results into a persistent verified ledger. The abstract reports novel results on five open problems in online learning, auction theory, and mechanism design using Gemini, with domain-expert verification and companion papers.

Analysis

The proposed pattern combines parallel search, explicit verification, and durable intermediate state. It is a concrete research-automation architecture for problems where one-shot generation is insufficient and progress must survive across rounds.

Uncertainty/Doubt

• This is an arXiv preprint. The novelty and correctness claims are reported in the abstract and linked project materials; the full companion-paper evidence was not independently checked here.