Cogentic：用于自动证明发现的多智能体编排

我们提出Cogentic，一种面向开放研究问题自动证明发现的多智能体框架。前沿语言模型能单次产生有力的数学思想，但对需探索多种竞争性猜想、克服细微技术障碍及长期保留中间进展的开放问题，单次生成往往不足。Cogentic通过迭代的证明-验证循环解决这些挑战：协调器将一批独立证明器分配至不同证明方向，将其输出交由数个专用组件进行对抗性验证，并将确认的中间结果提升至持久化的已验证账本，供后续轮次基于此构建。该框架旨在解决研究级数学与理论计算机科学问题。以Gemini为基础模型，Cogentic在在线学习、拍卖理论与机制设计的五个开放问题上取得了新结果。每项结果均由领域专家独立验证，并在配套论文中进行了完整阐述。我们在 列出这些结果，新结果经验证后亦将列于此。