Pramaana Labs har samlat in 27 miljoner dollar i en seed-runda från Khosla Ventures för att utveckla formell verifikation för artificiell intelligens (AI). Företaget kommer att fokusera på känsliga områden som juridik, läkemedelsutveckling och skatteberedning, där fel kan vara dyra och tillförlitlighet är av största vikt.

Genom att tillföra formell verifikation till AI syftar Pramaana Labs till att öka tillförlitligheten och minska risken för fel i dessa kritiska områden.

Vad innebär detta för svensk vård? Utvecklingen av tillförlitlig AI kan ha en stor inverkan på vården i Sverige, där AI-redskap används för att stödja diagnostik och behandling. En ökad tillförlitlighet i AI-system kan leda till bättre patientresultat och en mer effektiv vård.