
SARAH ROGERS/MIT TECHNOLOGY REVIEW | GETTY IMAGES
This startup wants to change how mathematicians do math
수학자 책상 위로 내려온 AI…핵심 난제 해결에 속도 붙나
AI 스타트업 액시엄 매스가 수학자용 도구 ‘엑스플로러’를 공개하며, 개인용 컴퓨터에서도 난제 탐색이 가능한 환경을 제시했다. 하지만 이 도구가 실제로 수학 연구의 속도와 방식에 얼마나 변화를 가져올지는 아직 검증이 필요하다.
캘리포니아 팔로알토에 기반을 둔 스타트업 액시엄 매스(Axiom Math)가 수학자들을 위한 새로운 인공지능(AI) 도구 ‘엑스플로러(Axplorer)’를 공개했다. 오랜 기간 풀리지 않은 문제의 실마리가 될 수 있는 수학적 패턴을 찾아내도록 설계된 도구로, 무료로 사용할 수 있다.
엑스플로러는 현재 액시엄 매스에서 연구 과학자로 일하고 있는 프랑수아 샤르통(François Charton)이 2024년 메타 재직 당시 공동 개발한 ‘패턴부스트(PatternBoost)’를 재구성한 것이다. 기존 패턴부스트가 슈퍼컴퓨터 환경에서 구동됐던 것과 달리 엑스플로러는 맥 프로에서도 실행할 수 있도록 경량화됐다.
액시엄 매스는 패턴부스트가 보여준 성과를 더 많은 연구자들이 활용할 수 있도록 하는 데 초점을 맞추고 있다. 패턴부스트는 그래프 이론의 대표적 난제로 꼽히는 ‘투란 4-사이클 문제(Turán four-cycles problem)’ 해결에 활용된 바 있다. 엑스플로러는 이러한 수준의 분석을 개인용 컴퓨터에서도 수행할 수 있도록 만든 도구다.
이 같은 시도는 최근 수학 연구 환경의 변화와도 맞물려 있다. 지난해 미국 국방고등연구계획국(DARPA)은 수학자들이 AI 도구를 개발하고 활용하도록 장려하기 위해 ‘엑스프매스(expMath, Exponentiating Mathematics)’ 프로그램을 출범시켰다. 액시엄 매스 역시 이러한 흐름에 발맞춰 연구를 이어가고 있다.