RecodeX 重构消息，NEAR联合创始人Alex Skidanov表示，NEAR AI的Lean Agent在被称为全球最难本科生数学竞赛的Putnam Bench上取得成功。他指出，传统形式化验证通常只在交付前进行一次，而低成本证明意味着可以在每次代码提交时都进行验证。