News·4시간 전
Pramaana Labs, 2,700만 달러 시드 투자 유치 — Khosla 리드
Pramaana Labs 가 Khosla Ventures 리드로 2,700만 달러 시드 라운드를 마감했습니다. 법률·신약 개발·세무 등 오류 비용이 큰 분야에 특화된 formal verification 솔루션을 개발 중입니다.
Pramaana Labs 가 2,700만 달러 시드 라운드를 유치하며 formal verification 기술을 AI에 적용하는 데 집중합니다.
골자
- 규모 — 2,700만 달러 시드 라운드, 리드는 Khosla Ventures.
- 분야 — 법률·신약 개발·세무 등 고위험·고비용 분야에 formal verification을 제공합니다.
배경·맥락
- Formal verification은 수학적 증명을 통해 시스템의 정확성을 보장하는 기법으로, AI의 신뢰성 문제를 해결할 수단으로 주목받고 있습니다.
- Pramaana는 기존 formal verification 도구보다 사용 편의성을 높여 비전문가도 활용할 수 있도록 한다는 점을 강조합니다.
자금 용처·향후
- 용처 — 제품 개발 및 엔지니어링 팀 확장에 사용될 예정입니다.
- 다음 — 법률·제약 분야 파일럿 고객을 확보한 상태로, 연내 상용화를 목표로 합니다.
편집자 한 줄
시드 단계에서 2,700만 달러는 큰 규모로, formal verification의 AI 시장 잠재력에 대한 투자자 신뢰를 보여줍니다.
- #pramaana-labs
- #funding
- #seed-round
- #formal-verification
- #khosla-ventures
TechCrunch AI