Axiom Math는 현재 17명의 직원을 두고 있으며, 이들 중 다수는 메타의 AI 연구실(Fundamental Artificial Intelligence Research, FAIR)과 구글 브레인에서 근무했던 인재들이다. Axiom은 올해 3월 설립된 이후 오랜 시간 해결되지 않았던 두 가지 에르되시 수학 문제를 해결했다고 발표하며 큰 관심을 받았다. 9월에는 6400만 달러의 시드 자금을 확보했다고 밝혔다.
홍은 Axiom의 목표인 수학의 가장 어려운 문제를 해결하는 것이 최상급 인재들을 유치하는 핵심 요인이라고 설명했다. 그녀는 비즈니스 인사이더와의 인터뷰에서 “내가 Axiom에 영입한 많은 연구자와 수학자가 해결할 과제가 수학적 초 지능이 되는 것이 그들의 유산이 될 것이라는 말을 들었다”고 밝혔다. “문제가 충분히 어렵다면 인재가 밀집하게 모여 다른 뛰어난 사고가들을 끌어당길 수 있다.”
Axiom에서 가장 주목받는 인재 중 한 명은 버지니아대학교의 수학 교수인 켄 오노로, 그는 세계적으로 저명한 수학자이자 홍의 멘토이기도 하다. 홍은 “켄 오노는 많은 수학 학생들의 우상이다”라고 밝혔다.
오노는 학창 시절 부모의 압박으로 중퇴했지만 이후 대학에 진학하여 수학에 대한 열정을 발견하고, 위스콘신 대학교와 에모리 대학교에서 가르쳤으며 2019년에 버지니아대학교에 합류했다. 그는 뛰어난 학부 연구 프로그램을 주도하며 10명의 모건 상 수상자를 멘토링했다.
오노는 Axiom에 합류하기로 결정한 이유가 재정적 이득이 아니라 호기심과 지적 발견 때문이라고 말했다. 그는 더 큰 AI 회사의 보다 수익성 있는 제안을 거절했다고 전했다.
스타트업에서 오노는 문제를 설계하고 성과를 평가하기 위한 기준을 개발하여 Axiom의 AI 시스템을 한계까지 확장하는 임무를 맡고 있다.
Axiom이라는 이름은 전체 이론의 출발점이 될 수 있는 기본적 진리를 나타내는 수학적 용어에서 유래하였다. 홍은 기존 문제를 해결하고 새로운 문제를 생성하며, 형식적인 증명을 통해 결론을 rigorously 검증할 수 있는 ‘AI 수학자’를 만들겠다는 목표를 가지고 있다. 성공할 경우 Axiom은 인류가 수세기 동안 해결하지 못했던 수학적 문제를 해결하는 데 기여할 수 있을 것이다.
그녀는 초기 인재 모집에 FAIR에 집중한 이유에 대해 “FAIR는 항상 놀라운 연구 결과를 만들어낸다”고 설명했다.
홍은 중국 광저우에서 자라며 수학에 대한 사랑을 키웠다고 포브스에 밝혔다. 그녀는 어린 시절 고급 수학 교과서를 읽기 위해 스스로 영어를 배웠고, 수학 올림피아드 프로그램에 참가하며 극도의 시간 압박 속에서 경쟁을 하였다.
홍은 MIT에서 수학과 물리학 학사 학위를 받은 후, 미국 최고의 학부 수학 연구자로 선정되는 모건 상을 수상했다.
옥스퍼드 대학교에서 로드 장학생으로 컴퓨터 신경 과학 석사 과정을 마친 후, 스탠포드 대학교에 진학하여 법학과 수학 박사과정을 동시에 수료하기 위해 등록했다.
스탠포드 재학 중 우연히 카페에서 메타의 AI 과학자인 슈브호 센굽타를 만나 전문 지식을 결합하여 혁신적인 아이디어에 대해 협업하기로 결심했다.
홍은 9월 Axiom의 시드 자금 모집을 마친 후 스탠포드를 중퇴하고 센굽타를 회사의 첫 직원으로 삼았다. 현재 그는 Axiom의 최고 기술 책임자를 맡고 있다.
