Find XO: Pramaana Labs가 형식 검증으로 2,700만 달러를 받았다 (techcrunch.com)

- Pramaana Labs가 Khosla Ventures에서 2,700만 달러 시드를 받아 법률, 약물 발견, 세금 준비 같은 민감한 분야의 AI 정확성을 형식 검증으로 보장하겠다고 나섰다. - 큰 투자를 받았다고 검증 기술의 신뢰성이 입증된 건 아니다. - 오류 비용이 큰 시장을 골라 놓고 검증을 나중에 덧붙이는 실수는 피해야 한다. - 좁은 분야 하나에서 기준을 먼저 통과하는 게 순서다.