NEAR AI 仅花费111美元解出672道 PutnamBench 题目,成本仅为原来的1/250
NEAR AI 仅花费 111 美元就解决了 PutnamBench 数学基准测试中的全部 672 道题,成本仅为已知第二低成本提交的 1/250。NEAR Protocol 联合创始人 Alex Skidanov 于 2026 年 9 月 6 日宣布了这一结果,并强调开源 Lean 智能体在完成这套取自 William Lowell Putnam 数学竞赛的题目时展现出的效率。这一突破解决了此前的成本壁垒:完整运行基准测试每次需要投入 1 万至 2.5 万美元,只有具备相应资金实力的组织才能承担,而 NEAR AI 则将这项成就置于其面向机密且可验证 AI 系统的 IronClaw 框架之中。 PutnamBench 基准测试使用 Lean 4 证明助手处理 672 道题 Putnam 竞赛是北美最负盛名的本科数学竞赛,即使是成绩优异的学生也常常得零分。PutnamBench 于 2024 年推出,将这种难度转化为面向 AI 定理证明器的正式评估套件。该基准测试包含 672 道使用 Lean 4 编码的问题。Lean 4 是一种证明助手语言,要求以机器可验证的精确性书写数学论证。逻辑
Gate AI 视野·09-06 17:04
