Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
The authors present Cogentic, a multi-agent framework designed to handle automated mathematical proof discovery on open research problems.
The authors present Cogentic, a multi-agent framework designed to handle automated mathematical proof discovery on open research problems.