NEAR Protocol 10月16日表示，计划将AI辅助形式化验证应用于其网络协议和核心智能合约，并为生态开发者提供工具。NEAR AI此前报告解决672个PutnamBench Lean数学问题，按提交时模型价格计算成本为111.85美元，平均约0.17美元/题；团队称生产级验证仍需准确的软件行为模型、明确需求，以及覆盖已部署实现的证明。NEAR将生产验证列为目标，强调形式化验证应补充测试、代码审查和运营安全实践，其保证仅限指定属性与假设。