Cogentic：用于自动证明发现的多Agent编排

我们推出了 Cogentic，这是一种用于开放研究问题的自动证据发现的多智能体工具。虽然前沿语言模型可以一次性生成强大的数学思想，但单次生成通常不足以解决需要探索多个相互竞争的猜想、克服微妙的技术障碍以及长期保持中间进展的开放问题。 Cogentic 通过迭代证明-验证循环来解决这些挑战，在该循环中，编排器在不同的证明方向上分配一组独立的证明者，将其输出接受几个专门组件的对抗性验证，并将确认的中间结果提升到持久验证的分类账中，以供后续轮次使用。该Harness旨在能够解决研究级数学和理论计算机科学问题。 Cogentic 使用 Gemini 3.1 Pro 或 Gemini 4 Argon 的早期版本作为基础模型，针对在线学习、拍卖理论和机制设计等开放问题得出了新颖的结果。每个结果均由领域专家独立验证，并在配套论文中完整开发。我们在 https://sites.google.com/view/cogentic 中列出了这些结果以及经过验证的新结果。