标签 > 谷歌多智能体系统完成多项数学形式化证明

谷歌最新披露的多智能体证明系统 Cogentic 与 AlphaProof Nexus，依托 Gemini 大模型搭配 Lean 证明助手，已经自主完成多项科研级