Polyhedra sadarbojoties ar Berkli RDI izstrādājuši pirmo verifikācijas sistēmu lieliem valodas modeļiem (LLM) ar nulles zināšanām. Tāpat kā HTTPS nodrošina drošību interneta komunikācijā, šī sistēma veido verifikācijas infrastruktūru AI jomā. Šī sistēma var efektīvi pārbaudīt AI veiktspēju un atbilstību, nerādot modeļa vai datu datus, un tā ir par 20 000 reizes ātrāka nekā iepriekšējās metodes. Šobrīd ir iespējams ātri pārbaudīt lielos valodas modeļus, tostarp Llama 3-8B. Galvenie punkti ir šādi: - Polyhedra inovāciju tehnoloģija: nulles zināšanu mašīnmācīšanās (zkML) tehnoloģija darbojas kā HTTPS protokols internetā, ļaujot pārbaudīt AI sistēmas veiktspēju un atbilstību, neizpaužot modeļa vai datu detaļas, tādējādi nodrošinot privātuma drošību. - Izcilas veiktspējas: Expander ievērojami uzlabo verifikācijas efektivitāti, vienas pavediena verifikācijas ātrums ir par 20 000 reizes ātrāks nekā esošās metodes, atbalsta VGG-16 katram attēlam 2,2 sekundes, Llama-3 katram tokenam 150 sekundes. - Izstrādātājam draudzīgs: zkPyTorch kompilators bezšuvju integrējas PyTorch, nodrošinot izstrādātājiem vienkāršus un viegli lietojamus rīkus. Lietojuma gadījumi: - AI pakalpojumu kvalitātes nodrošināšana - AI apmācību datu atbilstība - godīgas datu automātiskās tirdzniecības tirgus - AI aģenta atbildības sadale - AI aģenta atbilstība - finanšu pakalpojumu atbilstības pārbaude Šī sistēma ne tikai risina AI modeļu verifikācijas atbilstības problēmas, bet arī piedāvā jaunu risinājumu AI drošībai un uzticamībai.