Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
DGX agentarXiv:2609.40324v1 Announce Type: new Abstract: We present Cogentic, a multi-agent harness for automated proof discovery on open research problems. While frontier language models can generate strong m