**Google团队凭借可迭代数学证明，将Putnam竞赛破解率从不足10%提升至70%**

_破解率从低于10%直升70%，Google团队凭「可迭代的数学证明」斩获Putnam竞赛满分_

> Google研究团队通过采用可迭代的数学证明方法，在形式化定理证明领域取得突破，成功将Putnam数学竞赛题的破解率从低于10%大幅提升至70%，展现了AI在严格数学推理上的进步。

**来源信息**
- **来源**：机器之心：文章库（API）
- **分类**：ai-models
- **发布时间**：2026-06-21 18:08（北京时间）
- **原文**：[打开原文](https://www.jiqizhixin.com/articles/2026-06-21)