Axiom, AI 코드 안전성 위해 2억 달러 투자 유치

Axiom Quant Inc.는 최근 2억 달러(약 2,880억 원)를 조달하면서 AI 생성 코드의 안전성 확보에 나서겠다고 밝혔다. 이번 시리즈 A 투자에서는 Menlo Ventures가 주도했으며, 이를 통해 Axiom은 "검증된 AI"라는 새로운 패러다임을 제시하고 있다. AI가 생성한 코드가 정확한지 확증하기 위해 개발된 이 방법은 "환각"을 근본적으로 제거하는 데 목적이 있다.

현재 AI 도구는 주로 정확한 것처럼 보이지만, 실질적으로 올바른 결과를 보장하지는 못한다. 이와 관련해 Menlo Ventures의 Matt Kraning과 C.C. Gong은 블로그에서 "자주 맞는" 코드를 사용하는 것은 인프라 시스템에 자칫 위험한 표준이 될 수 있다고 지적했다.

Axiom은 이야기의 해결을 위해 'Lean'이라는 수학적 증명을 위한 프로그래밍 언어를 사용해 정형 검증된 출력을 생성하도록 AI 시스템을 훈련한다. 덕분에 AI 모델의 논리적 추론 과정은 기계적으로 검사될 수 있다. 이것은 코드가 항상 올바른 답을 반환하고, 새로운 보안 취약성을 도입하지 않음을 수학적으로 보장할 수 있음을 의미한다.

창립자인 카리나 홍은 25세의 스탠포드 대학 박사과정 학생으로, 이미 수학 분야의 여러상을 수상한 바 있다. 또 다른 주요 인물로는 Ken Ono, Shubho Sengupta, François Charton 등이 있으며, 이들은 AI와 수학이라는 두 분야의 전문성을 갖춘 팀을 이루고 있다. Axiom은 앞으로도 수학 전문가 팀을 확대해 AI 사용 기업에게 비용 효율적이고 빠른 검증을 제공할 계획이다.