Cogentic：多智能体自动化证明发现

Cogentic是一个多智能体框架，用于解决开放研究问题中的自动证明发现。该系统通过迭代证明-验证循环工作，使用Gemini作为基础模型。Cogentic已在在线学习、拍卖理论和机制设计领域五个开放问题上取得新成果，每个结果都经过领域专家独立验证。