AI 기반 수학적 추론 스타트업 하모닉AI가 1억2000만달러 규모 투자를 유치했다.실리콘앵글 최근 보도에 따르면 이번 투자는 리빗 캐피털이 주도하고 세쿼이아 캐피털, 인덱스 벤처스, 클라이너 퍼킨스, 에머슨 콜렉티브가 참여했다. 하모닉AI는 회사 가치를 14억5000만달러로 평가받았다.하모닉AI는 AI가 수학 문제를 형식적으로 증명하는 모델 '아리스토텔레스'를 개발 중이며, 최근 국제수학올림피아드에서 금메달 수준 성과를 달성했다.하모닉 AI는 '수학적 초지능' 개발을 목표로 하고 있다. 아리스토