Pramaana Labs piesaista 27 miljonus ASV dolāru formalizētās verifikācijas ieviešanai mākslīgajā intelektā
Startaps Pramaana Labs piesaistījis 27 miljonus ASV dolāru sēklinvestīcijās, lai izstrādātu AI sistēmu, kas apvieno valodas modeļus ar matemātisku formalizēto verifikāciju, koncentrējoties uz sensitīvām jomām, piemēram, tiesībām, zāļu atklāšanu un nodokļu sagatavošanu.
Pramaana Labs, jaunuzņēmums, kas cenšas risināt AI uzticamības problēmas, paziņojis par 27 miljonu ASV dolāru sēklinvestīciju kārtu, ko vada Khosla Ventures, piedaloties arī Accel, Boldcap, Nexus Venture Partners, Premji Invest un Unbound.
Uzņēmums koncentrēsies uz īpaši sensitīvām vertikālēm – tiesībām, zāļu atklāšanu un nodokļu sagatavošanu –, kur kļūdas var būt dārgas un uzticamība ir ārkārtīgi svarīga. Pramaana sistēma izmanto parasto lielo valodas modeli (LLM), bet virs tā ir determinēts slānis, kas nodrošina modeļa darba pārbaudi.
Unikālā pieeja ir formalizētās verifikācijas rīku izmantošana, balstoties uz atvērtā koda LEAN programmēšanas valodu, ko parasti izmanto matemātisko pierādījumu verificēšanai. Katram lietojumam Pramaana veidos savu LEAN stila formalizētās verifikācijas sistēmu, kuru uzraudzīs nozares eksperti. Nodokļu jomā uzņēmums sadarbojas ar bijušo IRS komisāru Deniju Verfelu, bet kiberdrošības un zāļu atklāšanas sistēmas uzrauga profesori no IIT Deli, IIT Madras un UC Berkeley.
Pramaana līdzdibinātājs un izpilddirektors Radžans Rājagopalans uzsver, ka „pasaules sarežģītākās problēmas nav neatrisināmas – tās ir neformalizētas”. Viņš norāda, ka katrā jomā, kur kļūda var maksāt veselību, naudu vai brīvību, pastāv noteikumi, un tie vienkārši jākodificē. Uzņēmuma pieeja iedvesmojusies no Francijas CATALA projekta, kas formalizē valsts nodokļu un pabalstu sistēmu izpildāmā kodā.
