NEAR AI 代理用 DeepSeek V4 解出 672 道 PutnamBench 数学题

NEAR AI 的代理使用开源模型 DeepSeek V4 解出全部 672 道 PutnamBench 数学题，总花费约 111 美元，平均每题 0.17 美元。材料称这降低了形式化验证成本，使小型开发者能低成本检查智能合约。