프라마아나 랩스, 코슬라 벤처스로부터 2700만 달러 시드 라운드 투자 유치, AI에 포멀 베리피케이션 도입
(techcrunch.com)
프라마아나 랩스가 코슬라 벤처스의 주도로 2700만 달러 규모의 시드 투자를 유치하며, LLM의 불확실성을 수학적 정형 검증 기술로 해결하여 법률 및 의료 등 고신뢰도가 요구되는 산업의 AI 도입을 가속화하고 있습니다.
이 글의 핵심 포인트
- 1프라마아나 랩스가 Khosla Ventures 주도로 2700만 달러 규모의 시드 라운드 투자 유치
- 2LLM의 유연성과 LEAN 프로그래밍 언어를 활용한 수학적 정형 검증(Formal Verification) 기술 결합
- 3