로빈후드 CEO의 AI 스타트업이 유니콘 지위에 도달

Robinhood CEO 블라드 테네브가 공동 창업한 인공지능 스타트업 Harmonic이 월요일 14억 5천만 달러 기업가치로 시리즈 C 펀딩에서 1억 2천만 달러를 유치하며, 아직 상용 제품을 출시하지 않았음에도 불구하고 유니콘 지위를 달성했습니다. 이번 라운드는 Ribbit Capital이 주도했으며, Sequoia Capital, Kleiner Perkins, Index Ventures, 그리고 로렌 파월 잡스가 설립한 투자 회사인 신규 투자자 Emerson Collective가 참여했습니다.​

이번 펀딩은 팔로알토에 본사를 둔 이 회사가 불과 14개월 만에 진행한 세 번째 자금 조달로, 총 투자금은 2억 9천 5백만 달러에 이릅니다. Harmonic은 인공지능의 지속적인 문제인 할루시네이션(AI 시스템이 그럴듯하지만 잘못된 정보를 생성하는 현상)에 집중함으로써 투자자들의 열광적인 관심을 받고 있습니다.​

수학을 통한 AI 환각 제거

Harmonic의 주력 모델인 Aristotle은 정확성을 보장하기 위해 형식적 수학 검증을 사용함으로써 기존 AI 시스템과 차별화됩니다. 확률적 언어 예측에 의존하는 대신, Aristotle은 Lean4 프로그래밍 언어로 추론을 생성하여 각 단계의 정확성을 수학적으로 검증할 수 있게 합니다. CEO Tudor Achim은 Reuters와의 인터뷰에서 "환각 현상의 제거는 시스템이 자연어가 아닌 코드로 추론을 출력하도록 요구하는 우리의 요구사항에서 직접 비롯됩니다"라고 말했습니다.​

7월, Aristotle은 국제 수학 올림피아드에서 금메달 수준의 성과를 달성하며 6개 문제 중 5개를 해결했습니다. 이는 Google 및 OpenAI의 시스템과 어깨를 나란히 하는 벤치마크였습니다. Ribbit Capital의 General Partner인 Nick Shalek에 따르면, "Aristotle이 수학적 초지능이 현실 세계에서 달성할 수 있는 것을 계속해서 입증함에 따라 우리의 파트너십을 심화하게 되어 자랑스럽습니다".​

안전 필수 산업 타겟팅

Harmonic은 항공우주, 금융, 자동차 산업을 포함하여 오류가 심각한 결과를 초래할 수 있는 분야에서 자사의 기술을 상용화하는 것을 목표로 하고 있습니다. 현재 이 회사는 Aristotle에 대한 무료 API 액세스를 제공하고 있으며, 연구자와 수학자들이 이 도구를 사용하여 복잡한 증명을 검증하고 발견을 가속화하고 있습니다. Achim은 새로운 자금의 상당 부분이 점점 더 발전된 모델을 훈련하는 데 필요한 컴퓨팅 인프라를 지원하는 데 사용될 것이라고 밝혔습니다.​

형식 검증은 이미 의료 기기 및 항공 시스템과 같은 고위험 애플리케이션에서 표준으로 자리 잡고 있으며, Harmonic의 접근 방식은 신뢰성 우려로 인해 주저해 온 위험 회피 분야에서 AI 도입을 촉진할 수 있습니다.