No AI summary available for this article.
Why It Matters
We present Cogentic, a multi-agent harness for automated proof discovery on open research problems.
Provenance
Discovered via ArXiv and published by ArXiv.
Key Claims
Original description
We present Cogentic, a multi-agent harness for automated proof discovery on open research problems. While frontier language models can generate strong mathematical ideas in a single shot, single-shot generation is often insufficient for open problems that require exploring multiple competing conjectures, overcoming subtle technical obstructions, and retaining intermediate progress over a long horizon. Cogentic addresses these challenges through an iterative prove--verify loop in which an orchestrator allocates a population of independent provers across distinct proof directions, subjects their...
Discovered via ArXiv
Research papers and preprints from arXiv.
Publisher: arxiv.org
ID: http://arxiv.org/abs/2609.40324v1 · Indexed 44 minutes ago