广告

NEAR AI用DeepSeek V4解出全部672道PutnamBench题,单题成本0.17美元

发布日期:2026-10-26 17:44 阅读:
金牌财经排行榜报道,据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协议自身及核心智能合约的安全验证。

发表我的意见

专栏作者

14448

文章

0

提问

1470万+

阅读量

0

回答

125万+

被赞

0

余额

关于我们 联系我们 加入我们 免责声明 广告服务 Sitemap 标签Tag 侵权文章删除:13607219@qq.com 微信:wenlian123com Investor Relations © 2025 金牌网 中值联认证中心(北京)有限公司版权所有 ICP备案:京ICP备20020888号 增值电信经营许可证:京B2-20201851