谷歌让一群 Gemini 智能体组队：写出 180 万行 Lean 代码，证明韦伊猜想
Teamwork 用多个专业智能体并行工作，再由独立系统挑错，已用于数学证明、分子识别和代码重写。
主题标签
teamwork
关于该主题的全部内容，按发布时间持续更新。
1
篇内容
主题标签
Teamwork 用多个专业智能体并行工作，再由独立系统挑错，已用于数学证明、分子识别和代码重写。