프라마나 랩스, AI 신뢰성 확보를 위한 370억 원 규모 투자 유치

주장프라마나 랩스는 인공지능의 신뢰성 문제를 해결하고자 수학적 형식 검증 도구를 활용합니다. 이는 컴퓨터 과학의 안정적인 시스템을 인공지능이라는 기술과 결합하려는 시도입니다.

팩트프라마나 랩스는 코슬라 벤처스가 주도한 시드 라운드에서 2,700만 달러를 투자받았습니다. 이번 투자에는 액셀, 볼드캡, 넥서스 벤처 파트너스, 프렘지 인베스트, 언바운드가 참여했습니다.

팩트프라마나 랩스는 법률, 신약 개발, 세금 계산과 같이 오류 발생 시 비용이 큰 분야에 집중합니다. 해당 분야는 현행 인공지능 기술보다 강력한 환각 방지 및 오류 검증 보호 장치를 요구합니다.

주장란잔 라자고팔란 최고경영자는 세법처럼 복잡한 규칙이 존재하는 분야는 수학처럼 결정론적 추론이 가능하다고 설명합니다. 규칙을 코드화하면 인공지능의 답변을 논리적으로 검증할 수 있는 환경이 조성됩니다.

팩트프라마나 랩스의 시스템은 기존 거대언어모델을 기반으로 하되 그 위에 결정론적 검증 계층을 추가했습니다. 이 계층은 거대언어모델의 작업 결과가 수학적으로 올바른지 확인하는 역할을 수행합니다.

팩트프라마나 랩스는 수학적 증명을 검증하는 데 사용하는 오픈소스 프로그래밍 언어인 린을 활용합니다. 이는 세금 및 복지 시스템을 실행 가능한 코드로 변환하는 프랑스의 카탈라 프로젝트와 유사한 방식입니다.

교차검증인공지능 모델에 결정론적 검증 계층을 추가하는 방식은 현재 업계에서 널리 시도되는 접근법입니다. 다만 모든 도메인에 대해 복잡한 규칙을 형식화하는 과정은 상당한 시간과 전문 인력이 필요하다는 한계가 있습니다.

팩트프라마나 랩스는 각 사용 사례별로 도메인 전문가와 협력하여 전용 검증 시스템을 구축합니다. 세법 분야는 대니 워펠 전 국세청장이 참여하며, 사이버 보안 및 신약 개발은 인도 공과대학과 캘리포니아 대학교 버클리 교수진이 감독합니다.

주장라자고팔란 최고경영자는 세상의 어려운 문제들이 풀 수 없는 것이 아니라 단지 형식화되지 않았을 뿐이라고 강조합니다. 건강, 돈, 자유와 관련된 모든 분야에는 명확한 규칙이 존재하며 이를 코드화하는 것이 핵심입니다.

주장프라마나 랩스의 기술은 인공지능이 생성한 결과물의 논리적 오류를 사전에 차단합니다. 이는 기업이 인공지능을 실무에 도입할 때 겪는 신뢰성 문제를 해결하는 실마리가 됩니다.

주장수학적 검증을 인공지능에 접목하는 이러한 시도는 향후 인공지능의 활용 범위를 전문적인 영역으로 확장할 전망입니다. 프라마나 랩스는 이번 투자를 바탕으로 검증 시스템의 정밀도를 높이는 데 주력합니다.

출처테크크런치의 2026년 6월 17일 보도를 통해 프라마나 랩스의 투자 유치 사실을 교차 검증했습니다.