Google Research 公布 Cogentic 研究，协调多智能体探索数学证明
Google 论文提出 Cogentic ，一套用于自动发现证明的多智能体系统 。它通过“证明—验证”循环 ，让多个独立证明器探索不同方向，并由专门组件进行对抗式验证 ，将已确认结果存入可持续使用的验证账本 。
以 Gemini 为基础模型 ，Cogentic 在在线学习、拍卖理论和机制设计领域的 5 个开放问题上产出新结果，均由领域专家独立验证 ，并在配套论文中展开。
arXiv
Google Research 公布 Cogentic 研究，协调多智能体探索数学证明
Google 论文提出 Cogentic ，一套用于自动发现证明的多智能体系统 。它通过“证明—验证”循环 ，让多个独立证明器探索不同方向，并由专门组件进行对抗式验证 ，将已确认结果存入可持续使用的验证账本 。
以 Gemini 为基础模型 ，Cogentic 在在线学习、拍卖理论和机制设计领域的 5 个开放问题上产出新结果，均由领域专家独立验证 ，并在配套论文中展开。
arXiv
标签：
暂无标签免责声明：
本站提供的资源，都来自网络，版权争议与本站无关，所有内容及软件的文章仅限用于学习和研究目的。不得将上述内容用于商业或者非法用途，否则，一切后果请用户自负，我们不保证内容的长久可用性，通过使用本站内容随之而来的风险与本站无关，您必须在下载后的24个小时之内，从您的电脑/手机中彻底删除上述内容。如果您喜欢该程序，请支持正版软件，购买注册，得到更好的正版服务。侵删请致信E-mail： 1345948685@qq.com
