Near AI声称以111美元解决672个数学问题

Near AI声称以111美元解决了数学形式证明基准PutnamBench的Lean 4问题672个。这一案例展示了AI代理的成本效益。Near AI的Lean代理解决了PutnamBench的所有问题，并据称记录了比竞争系统低250倍的成本。然而，这一比较并未明确说明模型、执行预算、搜索方式和重试结构的条件是否相同。目前确认的事实是，Near AI完成了672个问题，并提出了总费用111美元。PutnamBench公开排行榜尚未独立反映相同的结果。PutnamBench的官方存储库将Lean 4的标准问题数列为672个，形式证明评估AI是否提供可验证的证明过程。Near AI的主张在强调“可验证AI”的NEAR生态系统中具有重要意义。可信执行环境是一种在隔离的硬件环境中处理数据以限制外部访问的技术。Near AI在2月份强调了代理计算和交易的基础设施，此次主张是增加了成本效益数据的案例。形式证明领域的竞争仍在进行中，Mistral AI表示其LeanStral 1.5在PutnamBench上达到了587/672的问题。Mistral AI提出了每个问题约4美元的成本。PutnamBench排行榜正在讨论更好地表示按访问类型计算预算的方式。Near AI的成就对NEAR价格或生态系统需求的影响尚不确定。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。