NEAR AI ជំរុញការផ្ទៀងផ្ទាត់ជាផ្លូវការសម្រាប់កិច្ចសន្យាស្នូល

NEAR AI កំពុងខិតខំធ្វើឱ្យការផ្ទៀងផ្ទាត់ជាផ្លូវការកាន់តែងាយស្រួល ដោយដំបូងផ្តោតលើ NEAR Protocol និងកិច្ចសន្យាឆ្លាតវៃស្នូលរបស់វា។ ការផ្ទៀងផ្ទាត់ជាផ្លូវការប្រើភស្តុតាងគណិតវិទ្យា ដើម្បីពិនិត្យថាតើកម្មវិធីអនុវត្តតាមច្បាប់ដែលបានកំណត់ឬអត់។ វាជួយបំពេញបន្ថែមការធ្វើតេស្ត និងការត្រួតពិនិត្យកូដ ប៉ុន្តែមិនអាចធានាសុវត្ថិភាពបានទាំងស្រុងទេ។ កិច្ចខិតខំនេះបន្តពីចំណាត់ថ្នាក់លេខមួយដែល NEAR AI រាយការណ៍ថាទទួលបាន ដោយផ្អែកលើចំនួនបញ្ហាសរុបដែលបានដោះស្រាយនៅលើតារាងចំណាត់ថ្នាក់ Lean Eval v1។ នៅលើ PutnamBench ប្រព័ន្ធរបស់ខ្លួនបានដោះស្រាយបញ្ហា Lean ចំនួន 672។ តម្លៃដែលបានរាយការណ៍គឺប្រហែល 0.17 ដុល្លារក្នុងមួយបញ្ហា ខណៈឃ្លាំងកូដបង្ហាញថា ការដាក់ស្នើនេះមានថ្លៃដើមម៉ូដែល 111.85 ដុល្លារ។ NEAR ព្រមានថា លទ្ធផល benchmark មិនតំណាងឱ្យថ្លៃដើម ឬកិច្ចខិតខំទាំងមូលដែលត្រូវការសម្រាប់ការផ្ទៀងផ្ទាត់កម្មវិធីដែលប្រើប្រាស់ក្នុងបរិស្ថានផលិតកម្មទេ។ ការអនុវត្តការផ្ទៀងផ្ទាត់ជាផ្លូវការចំពោះកិច្ចសន្យាដែលបានដាក់ឱ្យដំណើរការហើយ នៅតែត្រូវការម៉ូដែលត្រឹមត្រូវ លក្ខណៈសម្បត្តិដែលកំណត់ច្បាស់លាស់ និងភស្តុតាងដែលត្រូវគ្នានឹងការអនុវត្តជាក់ស្តែង។ ការធានាគ្របដណ្តប់តែចំពោះលក្ខណៈសម្បត្តិ និងការសន្មតដែលបានពិនិត្យប៉ុណ្ណោះ ដូច្នេះការផ្ទៀងផ្ទាត់ជាផ្លូវការត្រូវដំណើរការរួមជាមួយការធ្វើតេស្ត ការត្រួតពិនិត្យកូដ និងសុវត្ថិភាពប្រតិបត្តិការ។ គំនិតផ្តួចផ្តើមនេះឆ្លុះបញ្ចាំងពីចំណាប់អារម្មណ៍ទូលំទូលាយលើភស្តុតាងដែលមាន AI ជួយ រួមទាំងការងារដែល Aptos Labs និង Vitalik Buterin សហស្ថាបនិក Ethereum បានពិភាក្សា។ សម្រាប់អ្នកជួញដូរ NEAR វាជាការអភិវឌ្ឍសុវត្ថិភាពដែលអាចមានក្នុងរយៈពេលវែង មិនមែនជាការប្រកាសដាក់ឱ្យប្រើប្រាស់ ឬជាកត្តាជំរុញតម្លៃថូខិនភ្លាមៗទេ។