NEAR AI用DeepSeek V4解出全部672道PutnamBench题，单题成本0.17美元
来源 Jinse_news
金色财经报道，据NEAR Protocol联合创始人Alex Skidanov及官方披露，NEAR AI的Agent已解出PutnamBench全部672道数学题，总花费约111.85美元，平均单题0.17美元。该基准将北美顶级本科数学竞赛（William Lowell Putnam）题目形式化，要求以Lean 4证明助手语言写出无语法漏洞、可被机器100%验证的证明代码，对应计算机科学中的形式化验证，即用数学逻辑证明智能合约在所有可能状态下不出错。据MSBIntel整理的数据，使用OpenAI GPT-5.6的单题平均成本为44.5美元，Anthropic Claude Opus 5为3.52美元，NEAR采用的DeepSeek V4方案将成本压缩至GPT-5.6的约二百五十分之一。相关代码已开源，NEAR方面称下一步将把该工具用于NEAR协议自身及核心智能合约的安全验证。
免责声明：仅供参考。 过去的表现并不预示未来的结果。
推荐文章
RBA 将于 9 月 29 日议息，市场对加息至 4.60%（2011 年以来最高）的定价已达约 95%。本文拆解本轮加息的数据链条、高利率对澳洲家庭的真实影响（房贷 6%+、借贷能力缩水、房价回调），并给出 3 条资产配置思路与接下来的关键日程。
金价在 4,400 美元附近反复拉锯，高盛、瑞银、花旗给出 4,600 ~ 6,000 美元的长期目标；与此同时，澳洲金矿股迎来分红潮，成为 ASX 少数强势板块。本文对比「直接持有金价」与「配置金矿股」两种参与方式的逻辑差异、收益来源与风险，并附关键观察框架。
金价在 4,400 美元附近反复拉锯，高盛、瑞银、花旗给出 4,600 ~ 6,000 美元的长期目标；与此同时，澳洲金矿股迎来分红潮，成为 ASX 少数强势板块。本文对比「直接持有金价」与「配置金矿股」两种参与方式的逻辑差异、收益来源与风险，并附关键观察框架。
RBA 将于 9 月 29 日议息，市场对加息至 4.60%（2011 年以来最高）的定价已达约 95%。本文拆解本轮加息的数据链条、高利率对澳洲家庭的真实影响（房贷 6%+、借贷能力缩水、房价回调），并给出 3 条资产配置思路与接下来的关键日程。
