🤖🔐 تنقل NEAR التحقق باستخدام الذكاء الاصطناعي إلى بروتوكولها

حلّ وكيلها 672 مسألة رياضية باستخدام Lean، بتكلفة نماذج بلغت 111,85 دولارًا أمريكيًا.

لا يشمل هذا المبلغ التطوير الكامل للنظام، ولا يمثّل تكلفة تدقيق العقود.

ولا يزال تطبيق ذلك على برمجيات الإنتاج قيد الانتظار.
$NEAR