据 NEAR Protocol 联合创始人 Alex Skidanov 称，9月6日，NEAR AI 的开源 Lean 智能体以 111 美元的成本解决了 PutnamBench 基准测试中的全部 672 道题目，而竞争系统的成本则达到 25,000 美元或更高，成本优势达 250 倍。PutnamBench 是一套用于评估 AI 定理证明器的形式化评测集，其中的问题采用 Lean 4 编码，需要机器可验证的数学证明。成本的大幅降低让更多人能够使用 AI 验证工具，并支持 NEAR 围绕机密且可验证的 AI 基础设施构建愿景。