谷歌发布 Cogentic 多智能体系统自动发现数学证明

谷歌研究院推出 Cogentic,一个面向开放研究问题自动发现证明的多智能体编排框架,基于 Gemini(Gemini 3.1 Pro 及早期 Gemini 4 等模型)。该系统已在 5 个公开数学问题上产出新成果,且相关证明经过专家核验,官方页面也已曝光,展示了 AI 智能体在数学研究自动化方面的最新进展。

2026-10-06 ~ 2026-10-06 · 2 条相关

另有 1 条近重复转述:Dr_Singularity