Cogentic is a multi-agent system for automated proof discovery on open research problems. It uses an iterative prove-verify loop to allocate provers across different proof directions and verify output with adversarial components. Cogentic was used with Gemini as the base model to produce novel results on five open problems in online learning, auction theory, and mechanism design.