Khosla 가 Pramaana Labs 에 2,700만 달러를 넣었어. LEAN 으로 AI 환각을 수학적으로 잡는 흐름과 인디 빌더가 봐야 할 신호 3 가지
Khosla 가 Pramaana Labs 에 2,700만 달러를 넣었어. LEAN 으로 AI 환각을 수학적으로 잡는 흐름 📅 2026.06.18 | ✍️ 경제 흐름을 읽어주는 형 형이 오늘 저녁에 봐도 흥미로운 시드 라운드 하나가 떨어졌어. 인도계 미국 스타트업 Pramaana Labs 가 Khosla Ventures 가 리드한 2,700만 달러 시드를 닫았어. Accel, BoldCap, Nexus Venture Partners, Premji Invest, Unbound 가 같이 참여했고. 시드 단계 규모치고는 굉장히 큰 숫자고, 들어온 투자자 면면도 후기 단계 회사에서나 볼 수 있는 명단이야. 중요한 건 회사가 풀려는 문제야. LLM 의 환각을 "또 다른 LLM 으로 검토" 하는 방식이 아니라 LEAN 이라는 수학 증명 언어 위에서 "수학적으로 결정론적으로" 검증하겠다는 방향이야. 법률, 신약 개발, 세금 같은 한 번 틀리면 사람의 건강이나 자유나 돈이 직접 깨지는 분야에 먼저 들어가겠다고 했고. 핵심 체크포인트 3 가지 포인트 1 : 시드 단계에 2,700만 달러는 평범하지 않은 신호야. Khosla Ventures 가 리드했고 Accel, Nexus, Premji 같은 큰 펀드가 같이 들어왔어. "LLM 자체를 더 똑똑하게" 가 아니라 "LLM 위에 결정론적 검증 층을 한 겹 더 얹는다" 라는 접근에 투자자들이 일찍 베팅했다는 거야. 즉 환각 문제가 풀려야 AI 가 진짜 산업으로 들어간다는 인식이 시장 안에서 공식화되고 있어. 포인트 2 : 도구가 LEAN 이라는 점이 결정적이야. LEAN 은 수학자들이 정리 증명을 형식적으로 검증할 때 쓰는 언어야. Pramaana 는 LLM 이 추론한 결과를 LEAN 위에서 다시 한 번 검증해서 "이 결과가 주어진 규칙 안에서 일관되게 도...