일요주간 - SK텔레콤, 독자 AI 모델 ‘A.X K2’ 수학 추론 강화…난제 해결 도전

▲ 서울대 수리과학부 서인석 교수가 발표하고 있다.(사진=SKT)

SK텔레콤이 서울대·KAIST 등 국내 수학·인공지능(AI) 연구진과 협력해 독자 AI 파운데이션 모델 ‘A.X K2’의 수학 추론 역량을 강화하고, 수학 난제 해결에 도전한다. 이를 통해 복잡한 문제를 스스로 해결하고 결과를 검증하는 에이전틱 AI 기술도 고도화할 계획이다.

SK텔레콤은 22일 서울 을지로 본사에서 서울대·KAIST 교수진 및 연구자들과 기술 교류회를 열고 A.X K2를 활용한 수학 난제 연구와 모델 고도화 방안을 논의한다고 밝혔다.

이번 프로젝트에는 서울대 수리과학부 서인석·변성수·홍영준 교수와 KAIST 전산학부 박노성 교수 등 교류회 참석자를 비롯해 수학과 AI 분야 국내 연구진이 참여한다.

수학 분야에서는 확률론·통계물리, 이산수학·그래프 이론, 저차원 위상수학·기하적 군론 등 다양한 세부 분야의 전문성을 모델에 반영한다. 서울대 서인석 교수와 고등과학원 이준경·김상현 교수 등이 각자의 연구 역량을 보탠다.

거대언어모델(LLM)과 수학 연구 방법론 분야에서는 서울대 홍영준·이다빈·오병권·변성수 교수와 KAIST 박노성 교수가 협력한다. 수학자의 전문지식을 모델 학습에 반영하고, LLM을 실제 수학 연구에 활용할 수 있는 방법론을 공동으로 연구할 예정이다. 

▲ 서울대 수리과학부 서인석 교수가 발표하고 있다.(사진=SKT)

연구진은 A.X K2가 수학의 세부 분야별 전문지식을 깊이 있게 학습하도록 지원하고, 기존 모델의 한계로 지적돼 온 전문지식과 추론 능력을 보완할 방침이다. 고도화한 모델을 활용해 각 분야의 수학 난제 해결에도 도전한다.

이는 글로벌 AI 기업들이 수학 연구에 AI를 활용하는 흐름과 맞닿아 있다. 오픈AI는 이달 6일 내부 AI 모델이 도출한 새로운 수학 연구 결과를 공개했으며, 앤트로픽은 지난 8월 자사 AI 모델 클로드가 리만 가설 관련 문제에서 기존 연구 결과를 개선했다고 발표한 바 있다. 해당 결과는 수학자들의 검토를 거쳤다.

SK텔레콤은 이번 협력으로 확보한 수학적 추론·검증 역량을 에이전틱 AI 고도화에도 활용할 계획이다. AI가 복잡한 문제의 해결 계획을 수립하고 여러 단계의 작업을 수행하는 과정에서 판단과 결과의 타당성을 점검하는 능력을 높인다는 구상이다.

수학적 추론과 검증 능력은 AI가 스스로 성능을 개선하는 ‘재귀적 자기개선(RSI·Recursive Self-Improvement)’ 연구에서도 중요한 요소로 꼽힌다. AI가 생성한 결과뿐 아니라 스스로 설계한 실험과 검증 방법의 수학적 타당성까지 판단할 수 있어야 하기 때문이다. 

▲ 교류회에 참석한 주요 연구진이 기념촬영을 하고 있다. 왼쪽 3번째부터 차례로 홍영준 서울대 수리과학부 및 협동과정 인공지능 전공 교수, 박노성 KAIST 전산학부 교수, 서인석 서울대 수리과학부 교수, 김태윤 SK텔레콤 파운데이션 모델 담당, 변성수 서울대 수리과학부 교수(사진=SKT)

SK텔레콤은 장기적으로 글로벌 최상위 AI 모델과 경쟁할 수 있는 수학 역량을 확보하고, 필요한 지식을 학습하며 스스로 발전하는 AI 에이전트를 구현한다는 목표다.

김태윤 SK텔레콤 파운데이션 모델 담당은 “독자 파운데이션 모델의 실제 문제 해결 능력을 높이기 위해 수학 분야 산학협력을 활발하게 추진하고 있다”며 “전문 연구자들과의 공동 연구를 통해 에이전틱 AI 역량을 고도화해 나가겠다”고 말했다.

일요주간 / 하수은 기자 jlist@naver.com 

[저작권자ⓒ 일요주간. 무단전재-재배포 금지]