Cogentic: multi-agent harness proves five open problems with Gemini

Cogentic is a multi-agent orchestration framework for automated theorem proving built on Gemini. It produced novel results on five open problems in online learning, auction theory and mechanism design using a prove-verify loop with a shared ledger of verified lemmas.

• Novel results reported on five open problems in online learning and auction theory
• Prove-verify architecture: orchestrator, parallel prover agents and adversarial verification
• Verified lemmas go into a shared ledger to prevent duplicate work across agents
• Orchestrator balances exploration and exploitation and prunes unproductive branches