Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
Yang Cai, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, Di Wang
AI use, as the source states it
“Using either Gemini 3.1 Pro or an early version of Gemini 4 Argon as the base model, Cogentic produced novel results on open problems across online learning, auction theory, and mechanism design.”
Model: Gemini 3.1 Pro, Gemini 4 Argon, as stated
Named here, or see a mistake? Write to privacy@papex.org.