#putnam

NEAR AI 的精益代理以 111 美元解决每个普特南问题，比竞争对手便宜 250 倍

NEAR Protocol 的开源定理证明代理以竞争对手花费的一小部分完成了全部 672 个 PutnamBench 问题 解决数学最艰巨的基准测试中的每一个问题通常需要花费数万美元。2026 年 9 月 6 日，NEAR Protocol 联合创始人 Alex Skidanov 宣布该项目的开源精