[글로벌에픽 이성수 CP] SK텔레콤이 국내 수학·인공지능(AI) 연구진과 함께 독자 AI 파운데이션 모델 'A.X K2(에이닷엑스 케이투)'의 수학 추론 능력을 끌어올리는 데 나섰다. 수학 난제 해결에 도전하는 이 협력은 AI가 스스로 판단하고 검증하는 능력을 키우는 기반이 될 수 있다는 점에서 주목된다.

서울대·KAIST 연구진과 기술교류회 개최
SK텔레콤은 22일 서울 중구 본사에서 서울대·KAIST 교수진, 연구자들과 기술교류회를 열었다. 참석자들은 A.X K2를 활용한 수학 난제 연구와 모델 고도화 방안을 논의했다. 교류회에는 학생 연구원들도 함께했다.
수학과 AI 분야의 연구진이 힘을 모은다
수학 분야에서는 확률론·통계물리를 연구하는 서울대 서인석 교수, 이산수학·그래프 이론을 연구하는 고등과학원 이준경 교수, 저차원 위상수학·기하적 군론을 연구하는 고등과학원 김상현 교수가 참여한다. 각자의 전공 역량을 모델 고도화에 보탠다.

거대언어모델(LLM)과 수학 연구 방법론 분야에서는 서울대 홍영준·이다빈·오병권·변성수 교수와 KAIST 박노성 교수가 협력한다. 이들은 수학자의 전문지식을 모델 학습에 반영하고, LLM을 실제 수학 연구에 활용하는 방법을 함께 연구할 계획이다.
연구진은 A.X K2가 수학의 세부 분야를 깊이 있게 학습하도록 돕는다. 기존 모델이 충분히 다루지 못한 전문지식과 추론 능력을 보완한 뒤, 고도화한 모델로 각 분야의 난제 해결에 도전할 방침이다.

수학 추론 능력이 에이전틱 AI의 자기 점검을 키운다
SK텔레콤은 강화한 수학 추론 역량을 에이전틱 AI 고도화에 활용한다. AI가 복잡한 문제의 해결 계획을 세우고 여러 단계의 작업을 수행할 때, 판단 과정과 결과가 타당한지 점검하는 능력을 높이는 것이 목표다.

회사는 이 능력이 중요한 이유를 재귀적 자기개선(RSI)에서 찾았다. AI가 스스로 차세대 AI를 개발하며 발전하는 과정에서 수학적 판단 능력이 핵심이라는 설명이다. 장기적으로는 글로벌 최상위 AI 모델과 견줄 수학 역량을 확보하고, 필요한 지식을 학습하며 스스로 발전하는 AI 에이전트를 구현하겠다는 구상이다.
미국 AI 기업과의 경쟁, 수학 난제가 새로운 무대로
미국의 주요 AI 기업들도 자사 모델로 오랫동안 풀리지 않은 수학 난제에 도전하고 있다. 원문 보도에 따르면 오픈AI는 지난 9월 AI가 수학계의 대표 난제인 '나비에-스토크스 방정식'의 해법을 찾았다고 발표해 주목을 받았다.

"수학 산학협력으로 실제 문제 해결 능력 높인다"
김태윤 SK텔레콤 파운데이션 모델 담당은 "독자 파운데이션 모델의 실제 문제 해결 능력을 높이기 위해 수학 분야 산학협력을 활발하게 추진하고 있다"고 말했다. 그는 "전문 연구자들과의 공동 연구를 통해 에이전틱 AI 역량을 고도화해 나가겠다"고 밝혔다.
SK텔레콤은 정부의 국가대표 AI 육성 프로젝트인 독파모 사업에 참여하고 있다. 이번 협력은 그 과제를 수학이라는 가장 엄밀한 영역에서 시험하는 첫걸음이기도 하다.

[글로벌에픽 이성수 CP / wow@globalepic.co.kr]