Google 多智能体系统 Cogentic 攻克五道数学难题

Google Research 发布论文 Cogentic，一个基于 Gemini 的多智能体自动证明发现系统。多个智能体以研究团队方式并行尝试不同思路，审查者默认每一步都是错的、必须被证明才通过，通过证明-验证迭代循环实现对抗性验证。该系统在无需专家提示的情况下，仅从问题陈述出发，为理论计算机科学领域五道未解开放难题找到了新证明。

2026-10-02 ~ 2026-10-03 · 4 条相关

• Google 发布 Cogentic:多智能体框架攻克五个公开数学难题 — KyeGomezB · 2026-10-02
• Google 论文：Gemini 多智能体协作为 5 道未解数学题找到新证明 — rohanpaul_ai · 2026-10-02
• Google 多智能体证明发现系统 Cogentic:Gemini 驱动攻克理论 CS 开放难题 — omarsar0 · 2026-10-03

另有 1 条近重复转述:mikeflache