Cogentic: Multi-Agent Harness Discovers Proofs for Open Problems

Yang Cai, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, Di Wang · 2026 · "Cogentic: Multi-Agent Orchestration for Automated Proof Discovery"

arXiv 2609.40324 ~100 model calls on most problems, ~1000 on the hardest · 5 expert-verified results