据 NEAR Protocol 联合创始人 Alex Skidanov 称,9月6日,NEAR AI 的开源 Lean 智能体以 111 美元的成本解决了 PutnamBench 基准中全部 672 道题,而竞争系统则需要 25,000 美元或更多——成本优势达 250 倍。PutnamBench 是一个面向 AI 定理证明器的正式评估套件,其问题以 Lean 4 编码,需要机器可验证的数学证明。成本的急剧降低使更多人能够使用 AI 验证工具,并支持 NEAR 围绕机密和可验证 AI 基础设施的愿景。