Pramaana Labs süni intellektə formal doğrulama gətirmək üçün 27 milyon dollar investisiya cəlb etdi

Pramaana Labs süni intellektə formal doğrulama gətirmək üçün 27 milyon dollar investisiya cəlb etdi

Bizneslər süni intellekt pilot layihələrini gündəlik iş proseslərinə çevirməyə çalışdıqca, etibarlılıq məsələsi getdikcə daha vacib hala gəlir. Yeni bir startap bu problemi həll etmək üçün riyazi formallaşdırma vasitələrinə müraciət edir. Pramaana Labs adlı bu şirkət kompüter elminin ən etibarlı sistemlərindən birini ən qeyri-sabit sahələrlə birləşdirir.

Çərşənbə günü Pramaana Labs 27 milyon dollar toxum səviyyəli investisiya aldığını açıqladı. Bu maliyyələşdirmə raunduna Khosla Ventures rəhbərlik edir. Accel, Boldcap, Nexus Venture Partners, Premji Invest və Unbound da investisiya qoyan şirkətlər sırasındadır. Bu, startapın süni intellektin formal doğrulama texnologiyasına olan inamı göstərir.

Hansı sahələrə diqqət yetiriləcək?

Pramaana Labs xüsusilə həssas sahələrə yönələcək. Bunlara hüquq, dərman kəşfi və vergi hazırlığı daxildir. Bu sektorlarda səhvlər çox baha başa gələ bilər. Etibarlılıq burada ən yüksək prioritetdir. Mövcud süni intellekt sistemləri bu sahələrdə tətbiq olunmaq üçün kifayət qədər qorunma təmin etmir. Hallüsinasiyalar və səhvlərə qarşı daha güclü mexanizmlər tələb olunur.

Pramaana Labs-ın həmtəsisçisi və baş icraçı direktoru Ranjan Rajagopalan bu sahələrin formallaşdırma üçün ideal olduğunu düşünür. O, vergi məcəlləsini riyaziyyata bənzədir. Rajagopalan deyir: "Vergi qaydaları riyaziyyat kimidir. Çoxlu sayda qaydalara əməl etməlisiniz. Bu qaydalar kodlaşdırıldıqdan sonra onların üzərində düşünmək deterministik olur."

Texnologiya necə işləyir?

Pramaana-nın sistemi yenə də adi böyük dil modeli (LLM) üzərində işləyir. Bu, ona təbii dildə sualları cavablandırmaq və mürəkkəb problemləri həll etmək çevikliyi verir. Lakin LLM-in üstündə deterministik bir təbəqə var. Bu təbəqə LLM-in işinin düzgünlüyünü yoxlayır. LLM mühərriki ilə deterministik doğrulamanın bu kombinasiyası məşhur bir quruluşdur. Pramaana-nın unikal yanaşması isə formal doğrulama vasitələrindən istifadə etməkdir.

Şirkət açıq mənbəli LEAN proqramlaşdırma dilindən istifadə edir. Bu dil riyazi sübutları yoxlamaq üçün nəzərdə tutulub. Rajagopalan Fransanın CATALA layihəsini nümunə göstərir. Bu layihə ölkənin vergi və müavinət sisteminin böyük hissəsini icra oluna bilən koda çevirib.

Ekspertlər və tətbiq sahələri

Hər bir istifadə sahəsi üçün Pramaana Labs öz LEAN tipli formal doğrulama sistemini quracaq. Bu sistemlər sahə ekspertləri tərəfindən idarə olunacaq. Vergi hüququ üçün şirkət keçmiş IRS komissarı Denni Verfellə işləyir. Kibertəhlükəsizlik və dərman kəşfi sistemləri üzərində isə IIT Dehli, IIT Madras və UC Berkeley-dən professorlar nəzarət edir.

Rajagopalan deyir: "Dünyanın ən çətin problemləri həll olunmaz deyil. Onlar sadəcə formallaşdırılmayıb. Səhv olmağın insanın sağlamlığına, puluna və ya azadlığına zərər verə biləcəyi hər bir sahənin qaydaları var." İndi bu qaydaları kodlaşdırmaq qalır.

Bu investisiya nə deməkdir?

27 milyon dollarlıq toxum raundu süni intellektin etibarlılığına olan tələbin nə qədər böyük olduğunu göstərir. Uzun müddətdir ki, süni intellekt sistemləri "qara qutu" olaraq qalır. Onların qərarlarının arxasında duran məntiqi anlamaq çətin idi. Pramaana Labs bu problemi həll etmək istəyir. Formal doğrulama süni intellektin çıxışlarının riyazi olaraq sübut olunmasına imkan verir.

Bu, xüsusilə Azərbaycan kimi ölkələr üçün vacibdir. Rəqəmsal transformasiya sürətləndikcə, dövlət xidmətlərində və biznes proseslərində süni intellektin tətbiqi artır. Vergi hesablamaları, hüquqi məsləhətlər və səhiyyə kimi sahələrdə səhvlər qəbuledilməzdir. Pramaana-nın texnologiyası bu sahələrdə süni intellektin daha etibarlı olmasına kömək edə bilər.

Nəticə olaraq, Pramaana Labs süni intellektin ən böyük problemlərindən birinə - etibarsızlığa qarşı yeni bir yanaşma təklif edir. Formal doğrulama vasitələrindən istifadə edərək, şirkət LLM-lərin çevikliyini riyazi dəqiqliklə birləşdirir. Bu, süni intellektin daha geniş və daha təhlükəsiz şəkildə tətbiq olunmasına yol aça bilər. 27 milyon dollarlıq investisiya isə investorların bu yanaşmaya böyük inamını göstərir.