teknik·AI-REDIGERAD
Pramaana Labs tar in 27 miljoner dollar för AI-verifiering
Pramaana Labs har säkrat en såddfinansieringsrunda på 27 miljoner dollar ledd av Khosla Ventures. Företaget utvecklar teknik för att formellt verifiera AI-modellers svar, särskilt inom känsliga områden.
Den 17 juni 2026 meddelade Pramaana Labs att de har tagit in 27 miljoner dollar i en såddfinansieringsrunda. Investeringen leddes av Khosla Ventures, med syftet att utveckla och implementera formell verifiering för artificiell intelligens (AI).
Företagets system beskrivs som en "kompilator för högrisks-AI" och är designat för att säkerställa tillförlitligheten hos AI-modellers resultat. Tekniken är tänkt att kontrollera en AI-modells svar mot fördefinierade regler inom ett specifikt område och endast leverera svar som kan bevisas vara korrekta.
Pramaana Labs planerar att fokusera sin verksamhet på vertikaler där fel kan medföra betydande konsekvenser. Bland de utpekade områdena finns juridik, läkemedelsutveckling och skatteförberedelse, där krav på precision och tillförlitlighet är särskilt höga. Enligt TechCrunch AI är målet att minimera kostsamma misstag inom dessa sektorer.
Detta vet vi
- Pramaana Labs har tagit in 27 miljoner dollar i såddfinansiering.
- Khosla Ventures ledde finansieringsrundan.
- Företaget utvecklar teknik för formell verifiering av AI-modeller.
- Målet är att tillämpa tekniken inom känsliga områden som juridik, läkemedelsutveckling och skatteförberedelse.
- Systemet kontrollerar AI-svar mot domänspecifika regler och kräver bevis för korrekthet.
Påståenden & källor
- T
- Pramaana Labs har tagit in 27 miljoner dollar i såddfinansiering.
- Khosla Ventures ledde finansieringsrundan.
- Målet är att tillämpa tekniken inom känsliga områden som juridik, läkemedelsutveckling och skatteförberedelse.
- S
- Företaget utvecklar teknik för formell verifiering av AI-modeller.
- Systemet kontrollerar AI-svar mot domänspecifika regler och kräver bevis för korrekthet.