**Varto在Isabelle中完整证明PutnamBench全部640道数学题**

_Varto proves complete PutnamBench AI math benchmark in Isabelle_

> Varto Cloud使用基于Isabelle的形式化验证平台，成功证明PutnamBench全部640个本科数学竞赛题目，创下首个完成整个基准类别的记录。采用GPT-5.5模型，平均每题成本8美元、耗时16分钟，比同期Lean提交成本降低8倍、速度提升23倍。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-08-04 23:23（北京时间）
- **原文**：[打开原文](https://varto.ai/news/putnambench)