arXivAI Research
Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
Cogentic：用於自動化定理證明發現的多 Agent 協調框架
Cogentic is a multi-agent framework that solves open mathematical problems through an iterative prove-verify loop, leveraging coordinated provers, adversarial verifiers, and a persistent ledger.
2 min read