Cogentic: Multi-agent Orchestration for automated proof discovery
Cogentic: Multi-agent Orchestration for automated proof discovery
Embedded Files
This page lists results obtained with Cogentic using either Gemini 3.1 Pro or an early version of Gemini 4 Argon as the base model (the model used for each result is specified below). These results have been verified by domain experts and written up in companion papers. We add new results, with links to their papers, as they become available. See the original paper for details of the system.
This page lists results obtained with Cogentic using either Gemini 3.1 Pro or an early version of Gemini 4 Argon as the base model (the model used for each result is specified below). These results have been verified by domain experts and written up in companion papers. We add new results, with links to their papers, as they become available. See the original paper for details of the system.
Last updated: Sep 30, 2026
Selected results
Selected results
Page updated
Google Sites
Report abuse