SKT, 수학 난제 연구로 '독파모' 추론력 높인다
서울대·KAIST·고등과학원 연구진과 협력
전문지식·검증 역량 높여 에이전틱 AI에 활용
[파이낸셜뉴스] SK텔레콤이 국내 수학·인공지능(AI) 연구진과 함께 독자 AI 파운데이션 모델 'A.X K2(에이닷엑스 케이투)'의 수학 추론 능력을 높이고, 이를 활용한 수학 난제 연구에 나선다.
SK텔레콤은 22일 서울 을지로 본사에서 서울대·카이스트(KAIST) 교수진 및 연구자들과 기술 교류회를 열고, A.X K2를 활용한 수학 연구와 모델 고도화 방안을 논의한다고 밝혔다. 교류회에는 서울대 수리과학부 서인석·변성수·홍영준 교수와 KAIST 전산학부 박노성 교수, 학생 연구원 등이 참석한다.
연구에는 고등과학원 연구진도 참여한다. 확률론·통계물리, 이산수학·그래프 이론, 저차원 위상수학·기하적 군론 등 수학 분야의 전문지식을 모델 학습에 반영할 계획이다. 거대언어모델(LLM)을 수학 연구에 활용하는 방법론도 함께 연구한다.
연구진은 A.X K2가 수학 세부 분야의 전문지식과 추론 과정을 더 깊이 학습하도록 협력한다. 기존 모델이 충분히 다루지 못한 지식을 보완하고, 고도화한 모델을 활용해 분야별 수학 난제 해결에 도전한다는 계획이다.
SK텔레콤은 이번 산학협력으로 강화한 수학 추론·검증 능력을 에이전틱 AI 고도화에도 활용할 방침이다. 복잡한 문제의 해결 계획을 세우고 여러 단계의 작업을 수행하는 AI가 판단 과정과 결과의 타당성을 점검하도록 하는 것이 목표다.
수학적 추론과 검증은 AI가 스스로 능력을 개선하는 '재귀적 자기개선(RSI·Recursive Self-Improvement)' 연구에도 중요하다. AI가 내놓은 결과뿐 아니라 스스로 설계한 실험과 검증 방법이 타당한지 판단하는 능력이 필요하기 때문이다.
장기적으로는 글로벌 최상위 AI 모델과 견줄 수학 역량을 확보하고, 필요한 지식을 학습하며 발전하는 AI 에이전트를 구현하는 것이 SK텔레콤의 목표다.
김태윤 SK텔레콤 파운데이션 모델 담당은 "전문 연구자들과의 공동 연구를 통해 독자 파운데이션 모델의 실제 문제 해결 능력을 높이고 에이전틱 AI 역량을 고도화하겠다"고 말했다.
[email protected] 윤홍집 기자
