Google Research公布多智能体证明系统Cogentic

Google Research公布Cogentic，一套用于自动发现证明的多智能体系统。该系统通过“证明—验证”循环，让多个独立证明器探索不同方向，并由专门组件进行对抗式验证，将已确认结果存入可持续使用的验证账本。 以Gemini为基础模型，Cogentic在在线学习、拍卖理论和机制设计领域的5个开放问题上产出新结果，均由领域专家独立验证，并在配套论文中展开。