形式化验证证明了软件遵循定义的规则。 我们的目标是让更多开发者负担得起。NEAR AI在自动证明生成方面的进展让我们更接近这一目标。 接下来：将其应用于NEAR协议和核心智能合约。