NEAR AI用DeepSeek V4解出全部672道PutnamBench題，單題成本0.17美元

金色財經報道，據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協議自身及核心智能合約的安全驗證。