Google多智能体证明发现系统Cogentic

Google研究团队开发了Cogentic系统，用于解决理论计算机科学中的开放问题。该系统使用Gemini模型，通过多个证明者、验证者和总结者智能体协作，每个智能体拥有独立上下文。系统在五个开放问题上取得新成果，包括在线学习、拍卖理论和机制设计领域，每个问题约需100-1000次Gemini调用。