 |
| ▲SK텔레콤 로고/사진=SK텔레콤 제공 |
[소셜밸류=소민영 기자] SK텔레콤이 독자 인공지능(AI) 파운데이션 모델의 기술 경쟁력을 높이기 위해 국내 주요 대학 및 연구기관과의 산학협력을 확대하고 있다.
SK텔레콤(대표이사 CEO 정재헌)은 국내 수학·AI 연구진과 협력해 독자 AI 파운데이션 모델 ‘A.X K2(에이닷엑스 케이투)’의 수학 추론 역량을 높이고, 이를 활용한 수학 난제 연구와 해결에 도전한다고 22일 밝혔다.
SKT는 이날 오전 서울 을지로 본사에서 서울대·KAIST 교수진 및 연구자들과 기술 교류회를 열고, A.X K2를 활용한 수학 난제 연구와 AI 모델 고도화 방안을 논의한다. 교류회에는 서울대 수리과학부 서인석·변성수·홍영준 교수와 KAIST 전산학부 박노성 교수, 학생 연구원 등이 참석한다.
이번 프로젝트에는 수학과 AI 분야의 국내 주요 연구진이 참여해 각 분야의 전문지식과 연구 역량을 결합한다. 수학 분야에서는 확률론·통계물리 전문가인 서울대 서인석 교수, 이산수학·그래프 이론을 연구하는 고등과학원 이준경 교수, 저차원 위상수학·기하적 군론 전문가인 고등과학원 김상현 교수 등이 참여한다.
거대언어모델(LLM)과 수학 연구 방법론 분야에서는 서울대 홍영준·이다빈·오병권·변성수 교수와 KAIST 박노성 교수가 협력한다. 연구진은 수학자의 전문지식을 AI 모델 학습에 반영하고, LLM을 실제 수학 연구에 활용하기 위한 방법론을 공동 개발할 계획이다.
연구진은 A.X K2가 수학의 각 세부 분야를 깊이 있게 학습하도록 협력한다. 기존 모델이 충분히 다루지 못했던 전문지식과 추론 능력을 보완하고, 고도화한 모델을 활용해 각 분야의 수학 난제 해결에 도전할 계획이다.
이와 같은 노력은 AI 모델을 선도하는 기업들이 수학 연구에서 성과를 내는 것과 같은 맥락이다. 오픈AI는 이달 6일 내부 AI 모델이 도출한 새로운 수학 연구 결과를 공개했다. 앤트로픽은 지난 8월 클로드가 리만 가설과 관련된 문제에서 기존 연구 결과를 개선했으며, 수학자들의 검토를 거쳤다고 발표했다.
◇ 수학 추론·검증 역량 높여 에이전틱 AI 고도화… 자기개선 연구 기반 마련
SKT는 이번 산학협력으로 강화한 수학 추론 역량을 에이전틱 AI 고도화에 활용한다. AI가 복잡한 문제의 해결 계획을 세우고 여러 단계의 작업을 수행할 때, 판단 과정과 결과가 타당한지 점검하는 능력을 높여 나갈 계획이다.
최근 AI 분야에서는 스스로 능력을 개선하고, 향상된 능력을 다음 단계의 개선에 활용하는 ‘재귀적 자기개선(RSI·Recursive Self-Improvement)’이 연구되고 있다. AI가 내놓은 결과와 스스로 설계한 실험·검증 방법이 수학적으로 타당한지 판단하는 능력이 중요하다.
장기적으로는 글로벌 최상위 AI 모델과 견줄 수학 역량을 확보하고, 필요한 지식을 학습하며 스스로 발전하는 AI 에이전트를 구현하는 것이 목표다.
한편 SKT는 독자 AI 파운데이션 모델 ‘A.X K2’를 통해 수학 추론 분야에서 성과를 거두고 있다. 지난 7월 공개한 A.X K2는 6880억개 매개변수를 갖춘 초거대 AI 모델로, 이전 모델인 A.X K1 대비 국내외 14개 벤치마크 평균 성능이 32.2%포인트 향상됐다. 특히 장문 이해와 AI 에이전트 관련 평가에서는 약 83.9%포인트의 성능 개선을 기록하며 복잡한 문제 해결 능력을 강화했다.
또한 A.X K2는 2026년 국제수학올림피아드(IMO) 문제 평가에서 42점 만점에 29점을 기록해 금메달 기준에 해당하는 성적을 거뒀다. 한국수학올림피아드(KMO) 2026년 2차 시험 평가에서도 만점을 기록했으며, 글로벌 수학 추론 성능 평가인 ‘MathArena AIME 2026’에서는 97.1%의 정확도로 공동 1위에 올랐다. SKT는 이러한 성과를 바탕으로 전문 연구진과의 협력을 확대해 AI 모델의 고난도 추론 및 문제 해결 역량을 한층 강화할 계획이다.
[저작권자ⓒ 사회가치 공유 언론-소셜밸류. 무단전재-재배포 금지]
