Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
📰 기사Russell Brandom
Pramaana Labs, 2,700만 달러 투자 유치. LLM에 정형 검증을 결합해 AI의 신뢰성을 극대화합니다.
Pramaana Labs는 확률적 기반의 거대언어모델(LLM)과 결정론적 정형 검증 사이의 간극을 메워 AI 신뢰성 문제를 해결하고 있습니다. LLM은 자연어 처리에는 유연하지만 환각 현상에 취약하여, 법률 준수, 세무, 제약 연구와 같이 높은 정확도가 요구되는 분야에서는 사용이 제한적이었습니다. Pramaana의 혁신적인 접근 방식은 LLM의 출력 결과를 코드화된 규칙과 대조하여 검증하는 결정론적 계층을 구축하는 것입니다. 수학적 증명 검증에 사용되는 LEAN 프로그래밍 언어를 활용함으로써, AI의 추론이 논리적으로 타당하며 도메인별 규정을 준수하도록 보장합니다. 이 시스템은 전직 정부 관료 및 학계 전문가들과의 협업을 통해 개발되어 규칙의 정형화 과정에서 높은 정확성과 견고함을 유지합니다. 오류 발생 시 막대한 법적·재정적 손실이 따르는 분야에 집중함으로써, Pramaana Labs는 기업용 AI 도입을 위한 신뢰할 수 있는 표준을 제시하고 있습니다.
💡하이라이트
- ├─LEAN을 활용한 정형 검증 기술 적용
- ├─LLM 상단의 결정론적 검증 계층 도입
- └─오류에 민감한 고위험 산업 분야 집중
🎯대상
- ├─엔터프라이즈 AI 개발자
- └─규제 준수 담당자