NEAR AI 团队低成本解出 PutnamBench 全部数学题
热点事件持续更新
NEAR AI 团队低成本解出 PutnamBench 全部数学题
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
NEAR AI 团队调用开源模型 DeepSeek V4，以总计约 111.85 美元的成本解出 PutnamBench 基准测试中的全部 672 道数学难题，平均每题仅 0.17 美元。该方案生成的 Lean 4 证明代码可被机器完全验证，其单题成本约为 GPT-5.6 的二百五十分之一。 目前相关代码已开源。NEAR 计划将此低成本工具应用于协议及智能合约的形式化验证，旨在降低链上安全审计门槛。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月26日
- TechFlow 深潮 Web3 文章NEAR AI 团队用 DeepSeek V4 以约 111 美元成本解出 PutnamBench 全部 672 道数学题，推动链上代码形式化验证低成本化
NEAR AI 团队调用开源模型 DeepSeek V4，以总计约 111.85 美元的成本解出 PutnamBench 基准测试中的全部 672 道数学难题，平均每题仅 0.17 美元。该方案生成的 Lean 4 证明代码可被机器完全验证，其单题成本约为 GPT-5.6 的二百五十分之一。目前相关代码已开源，NEAR 计划将此低成本工具应用于协议及智能合约的形式化验证，旨在降低链上安全审计门槛。
入库时 BTC：$80,392.26 USD
行情时间：2026-10-26 18:00:42（北京时间） · Coinbase
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。