📰 据Techub News：NEAR Protocol 宣布计划将 AI 辅助的形式化验证应用于其协议和核心智能合约。此前，NEAR 报告称其 AI 模型在提交时解决了 672 个数学问题，成本为 111.85 美元。
$NEAR 先加入观察。拿消息当背景，交易仍然看自己的计划。有不同看法评论区拍砖。