중국 수학천재 소녀, 1년 만에 기업가치 ‘2조 4000억원’ 유니콘 만들었다 [여기는 중국]

지난달 실리콘밸리 AI 업계를 발칵 뒤집어 놓은 인물이 있다. 광저우 출신 25세 홍러통(洪乐潼, Carina Hong)이 창업한 AI 스타트업 액시옴(Axiom)이 2억 달러(약 3010억 원) 규모의 시리즈A 투자 유치에 성공했다.

최상위 벤처캐피털 멘로 벤처스(Menlo Ventures)가 이번 투자를 주도했고, 그레이크로프트(Greycroft)·마드로나 벤처(Madrona Venture)·B 캐피털·도요타 벤처스 등 기존 주주들도 추가 투자에 나섰다. 회사 설립 후 1년도 채 안 돼 기업 가치는 16억 달러(약 2조 4080억 원)에 달하며, 세계에서 가장 젊은 유니콘 기업 중 하나로 올라섰다.


6일 중국 언론 펑멘신문에 따르면 광저우에서 태어난 홍러통은 평범한 노동자 가정 출신이다. 어릴 때부터 수학에 남다른 재능을 보였으며, 2018년 17세의 나이에 MIT에 입학해 수학·물리학 이중 전공을 선택한 그는 단 3년 만에 두 학위를 마쳤다. 학부 재학 중에만 9편의 학술 논문을 발표했으며, 전미 여성 수학자 최고 영예인 앨리스 T. 섀퍼(Alice T. Schafer) 수학상, 북미 수학 학부생 최우수 연구상인 AMS-MAA-SIAM 모건상을 잇따라 수상했다.

2021년에는 세계에서 가장 권위 있는 국제 장학금 중 하나인 옥스퍼드 로즈 장학금을 받아 그해 중국인 수상자 4명 중 한 명이 됐다. 옥스퍼드에서 신경과학 석사 과정 중 런던대학교(UCL) 개츠비 계산 신경과학 유닛(Gatsby Computational Neuroscience Unit)에서 딥러닝 연구를 시작하며 AI 분야에 발을 들였고, 이후 스탠퍼드에서 수학·법학 이중 박사 과정을 밟다가 중도에 학업을 포기하고 창업에 뛰어들었다.

홍러통이 포착한 AI 업계의 모순은 명확했다. 대형 언어 모델의 성능은 폭발적으로 성장하지만, 신뢰성은 여전히 ‘암흑’이라는 점이다. “일상적인 오류는 큰 문제가 아닐 수 있지만, 금융·국방·핵심 인프라 분야에서 확률에 기반한 오류는 재앙이 될 수 있다”는 게 그의 문제의식이었다.



수학 용어 ‘공리(Axiom)’에서 이름을 딴 이 회사의 목표는 AI가 컴퓨터 코드를 자동으로 검증할 수 있는 시스템을 구축하는 것이다. 핵심 기술은 형식화 검증(formal verification)으로, 린(Lean) 프로그래밍 언어를 통해 수학적 증명을 실행 가능한 프로그램으로 변환해 결과의 정확성을 근본적으로 보장한다. 대형 모델이 확률로 답을 ‘추측’하는 대신, 코드를 엄격한 수학 논리로 변환해 모든 추론 단계를 결정론적 검증기로 검증하는 방식이다.

이 시스템의 실력은 이미 증명됐다. 2025년 12월 미국 대학생 수학 경시대회인 퍼트넘(Putnam) 대회에서 액시옴의 핵심 시스템이 12문제 전부를 맞히는 만점을 기록했다. 100년에 가까운 대회 역사상 만점을 받은 사람은 단 5명에 불과하다. 이후 이 시스템은 여러 미해결 정수론 추측도 독자적으로 증명해냈다.

회사의 시작은 2024년 가을 스탠퍼드 인근 카페에서였다. 홍러통은 그곳에서 당시 메타(Meta) AI 연구 총괄이던 수보 셍굽타(Shubho Sengupta)를 만나 몇 시간의 대화 끝에 창업을 결심했고, 셍굽타는 현 CTO가 됐다. 홍러통의 MIT 시절 지도교수였던 수학계 거장 오노 켄(小野健, Ken Ono)도 버지니아대학교 종신교수직을 내려놓고 합류했다. 현재 액시옴의 팀원은 20여 명으로, 절반이 메타 AI 연구소 출신이다.

투자자들의 확신도 분명하다. 멘로 벤처스의 파트너 매트 크래닝(Matt Kraning)은 “AI가 거의 모든 소프트웨어를 작성하는 세상이 오고 있는데, 아무도 언급하지 않는 문제가 있다. 그 코드들이 전혀 검증되지 않는다는 것”이라며 “AI가 코드를 작성하고, 수학이 그 코드가 옳은지 검증할 것”이라고 말했다.

홍러통은 향후 액시옴의 제품이 헤지펀드와 퀀트 운용사에서 자산 가격 책정, 주가 예측 등 복잡한 수학 문제를 빠르게 해결하는 데 활용될 것으로 보고 있다. 같은 분야 경쟁사 하모닉(Harmonic)이 첫 번째 수학적 이정표를 세우는 데 2년 이상 걸렸다면, 액시옴은 그보다 훨씬 빠르게 성과를 냈다고 자신했다.

박사 학위도, 안정된 교수직도 내려놓고 증명의 세계에서 창업의 세계로 뛰어든 이 천재 소녀가 수학으로 AI의 신뢰성 문제를 풀어낼 수 있을지, 업계의 이목이 집중되고 있다.

이민정 중국 통신원 ymj0242@naver.com