🤖🔐 NEAR、AIによる検証をプロトコルに導入

そのエージェントは、モデルの利用コスト111.85米ドルで、Lean上の数学問題672問を解決しました。

この金額にはシステム全体の開発費は含まれておらず、コントラクト監査の費用を示すものでもありません。

本番ソフトウェアへの適用はまだ実現していません。
$NEAR