Isinusulong ng NEAR AI ang pormal na beripikasyon ng mga pangunahing kontrata
Nagsisikap ang NEAR AI na gawing mas madaling magamit ang pormal na beripikasyon, na unang nakatuon sa NEAR Protocol at sa mga pangunahing smart contract nito. Gumagamit ang pormal na beripikasyon ng mga patunay sa matematika upang tiyakin kung sumusunod ang software sa mga itinakdang tuntunin. Dinadagdagan nito ang pagsubok at pagsusuri ng code, ngunit hindi nito magagarantiyang ganap na ligtas ang sistema.
Nakabatay ang pagsisikap na ito sa iniulat na pagkamit ng NEAR AI ng unang puwesto ayon sa kabuuang dami ng nalutas sa leaderboard ng Lean Eval v1. Sa PutnamBench, nakalutas ang sistema nito ng 672 problemang Lean. Iniulat na humigit-kumulang $0.17 ang gastos sa bawat problema, samantalang nakatala sa repository ang $111.85 na gastos sa mga model para sa submission. Nagbabala ang NEAR na hindi ipinapakita ng mga resulta sa benchmark ang kabuuang gastos o pagsisikap sa pagberipika ng software na ginagamit sa produksyon.
Nangangailangan pa rin ang paglalapat ng pormal na beripikasyon sa mga naka-deploy na kontrata ng tumpak na mga modelo, malinaw na pagtukoy sa mga katangian, at mga patunay na tumutugma sa implementasyon. Sumasaklaw lamang ang mga garantiya sa mga katangian at palagay na sinuri. Kaya dapat gamitin ang pormal na beripikasyon kasabay ng pagsubok, pagsusuri ng code, at seguridad sa pagpapatakbo. Sumasalamin ang hakbang na ito sa mas malawak na interes sa mga patunay na tinutulungan ng AI, kabilang ang mga gawaing tinalakay ng Aptos Labs at ng Ethereum co-founder na si Vitalik Buterin. Para sa mga trader ng NEAR, isa itong posibleng pangmatagalang pag-unlad sa seguridad, hindi anunsyo ng deployment o agarang katalista para sa token.
Neutral
Neutral ang balita para sa presyo ng NEAR sa malapit na panahon. Iniuulat nito ang pananaliksik at mga resulta ng benchmark, hindi ang aktuwal na deployment, pagbabago sa protocol, desisyon sa pagpopondo, o direktang pagbabago sa demand para sa token. Maaaring ituring ng mga trader ang mga resulta bilang positibong senyales para sa mga layunin ng NEAR sa seguridad, ngunit dahil sa mga limitasyong binanggit tungkol sa gastos sa produksyon at pagpapatunay, hindi malamang ang agarang galaw ng presyo.
Sa mas mahabang panahon, maaaring magpatibay ng tiwala sa protocol ng NEAR at sa ecosystem ng mga smart contract nito ang mas madaling ma-access na pormal na beripikasyon kung matagumpay itong mailalapat sa aktuwal na paggamit. Maaari nitong suportahan ang sentimyento at paggamit ng network, ngunit hindi pinatutunayan ng mga buod na naisagawa na ang deployment o sinusukat ang anumang epekto nito sa paggamit o kita. Gaya ng mga kahalintulad na anunsyo tungkol sa seguridad at pananaliksik, malamang na nakadepende ang epekto sa merkado sa mga susunod na hakbang at sa mas malawak na kalagayan ng merkado; hindi sapat ang kasalukuyang impormasyon upang iklasipika ito bilang bullish o bearish.