Techub News 消息，NEAR Protocol 宣佈計劃將 AI 輔助的形式化驗證應用於其協議和核心智能合約。此前，NEAR 報告稱其 AI 模型在提交時解決了 672 個數學問題，成本為 111.85 美元。（Crypto.news）
内容來源：TECHUB NEWS
更多精彩內容，請登陸 財華香港網 (https://www.finet.hk/) 現代電視 (http://www.fintv.com)
