الملخص
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 output to adversarial verification by several specialized components, and promotes confirmed intermediate results into a persistent verified ledger that later rounds build on. The harness is designed to be able to solve research-level math and theoretical computer science problems. 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. Each result was independently verified by domain experts and is developed in full in companion papers. We list these results, and new ones as they are verified, at https://sites.google.com/view/cogentic .
الكلمات المفتاحية
الموضوع
بيانات النشر
- المجلة
- غير متاح
- وصول مفتوح
- وصول مفتوح أخضر
اقتبس هذه المقالة
APA 7
Cai, Y., Gupta, V., Jiang, Y., Liaw, C., Mehta, A., Velegkas, G., & Wang, D. (2026). Cogentic: Multi-Agent Orchestration for Automated Proof Discovery. https://omanscience.com/ar/articles/cogentic-multi-agent-orchestration-for-automated-proof-discovery
MLA 9
Cai, Yang, et al. "Cogentic: Multi-Agent Orchestration for Automated Proof Discovery." https://omanscience.com/ar/articles/cogentic-multi-agent-orchestration-for-automated-proof-discovery.
شيكاغو (المؤلف–التاريخ)
Cai, Yang, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, and Di Wang. 2026. "Cogentic: Multi-Agent Orchestration for Automated Proof Discovery." https://omanscience.com/ar/articles/cogentic-multi-agent-orchestration-for-automated-proof-discovery.
هارفارد
Cai, Y., Gupta, V., Jiang, Y., Liaw, C., Mehta, A., Velegkas, G. and Wang, D. (2026) 'Cogentic: Multi-Agent Orchestration for Automated Proof Discovery', Available at: https://omanscience.com/ar/articles/cogentic-multi-agent-orchestration-for-automated-proof-discovery.
فانكوفر
Cai Y, Gupta V, Jiang Y, Liaw C, Mehta A, Velegkas G, et al. Cogentic: Multi-Agent Orchestration for Automated Proof Discovery. https://omanscience.com/ar/articles/cogentic-multi-agent-orchestration-for-automated-proof-discovery
IEEE
Y. Cai, V. Gupta, Y. Jiang, C. Liaw, A. Mehta, G. Velegkas, and D. Wang, "Cogentic: Multi-Agent Orchestration for Automated Proof Discovery," https://omanscience.com/ar/articles/cogentic-multi-agent-orchestration-for-automated-proof-discovery.