NEAR AI 用 DeepSeek 解出 PutnamBench 全部 672 道题，称每题约 0.17 美元
当前进展与背景
最新公开报道
最近报道 ·NEAR AI 用 DeepSeek 解出 PutnamBench 全部 672 道题，称每题约 0.17 美元
据 NEAR Protocol 联合创始人 Alex Skidanov 及官方侧公布的数据，NEAR AI 的 Agent 解出 PutnamBench 上全部 672 道数学难题，总花费约 111.85 美元，平均每题 0.17 美元，调用的是中国开源模型 DeepSeek V4。据 MSBIntel 整理的数据，同样拿到满分的方案中，GPT-5.6 单题平均成本 44.5 美元，Claude Opus 5 每题 3.52 美元。该测试要求用 Lean 4 写出严格证明代码并被机器 100% 验证通过，对应形式化验证技术；NEAR 已开源打通 DeepSeek 与 Lean 4 的代码，官方公布的下一步是将其用于 NEAR 协议自身及核心智能合约的安全验证。文章作者称这与 NEAR 代币短期价格涨跌没有直接关联。
深潮 TechFlow · Web3 资讯 · 查看报道与出处 →报道时间不等于事件生效时间；具体状态与适用对象请对照来源。
背景综述
以下帮助了解背景；涉及安排、版本或状态时，以较新的具体报道为线索核对。
据 NEAR Protocol 联合创始人 Alex Skidanov 及官方侧公布的数据，NEAR AI 的 Agent 解出 PutnamBench 上全部 672 道数学难题，总花费约 111.85 美元，平均每题 0.17 美元，调用的是中国开源模型 DeepSeek V4。据 MSBIntel 整理的数据，同样拿到满分的方案中，GPT-5.6 单题平均成本 44.5 美元，Claude Opus 5 每题 3.52 美元。该测试要求用 Lean 4 写出严格证明代码并被机器 100% 验证通过，对应形式化验证技术；NEAR 已开源打通 DeepSeek 与 Lean 4 的代码，官方公布的下一步是将其用于 NEAR 协议自身及核心智能合约的安全验证。文章作者称这与 NEAR 代币短期价格涨跌没有直接关联。
摘自 深潮 TechFlow · Web3 资讯
报道时间线
沿着报道，了解事件的不同侧面。
- 深潮 TechFlow · Web3 资讯NEAR AI 用 DeepSeek 解出 PutnamBench 全部 672 道题，称每题约 0.17 美元
据 NEAR Protocol 联合创始人 Alex Skidanov 及官方侧公布的数据，NEAR AI 的 Agent 解出 PutnamBench 上全部 672 道数学难题，总花费约 111.85 美元，平均每题 0.17 美元，调用的是中国开源模型 DeepSeek V4。据 MSBIntel 整理的数据，同样拿到满分的方案中，GPT-5.6 单题平均成本 44.5 美元，Claude Opus 5 每题 3.52 美元。该测试要求用 Lean 4 写出严格证明代码并被机器 100% 验证通过，对应形式化验证技术；NEAR 已开源打通 DeepSeek 与 Lean 4 的代码，官方公布的下一步是将其用于 NEAR 协议自身及核心智能合约的安全验证。文章作者称这与 NEAR 代币短期价格涨跌没有直接关联。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。