1 paper · 1 filter
Yang Cai, Vineet Gupta, Yanchen Jiang +4
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 singl…