“AI로 수학 난제 도전”…SKT, 서울대·KAIST와 협력

[마이데일리 = 윤진웅 기자] SK텔레콤이 국내 수학·인공지능(AI) 연구진과 독자 AI 모델 ‘A.X K2’의 추론 역량을 강화한다. 고도화한 모델로 수학 난제 해결에 도전하고, 복잡한 작업을 수행하는 AI 에이전트의 판단·검증 능력을 높인다.

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

이번 프로젝트에는 서울대·KAIST·고등과학원 연구진이 참여한다. 확률론과 이산수학, 위상수학 등 분야별 전문지식을 모델 학습에 반영하고, 거대언어모델(LLM)을 실제 수학 연구에 활용하는 방법론을 개발할 계획이다.

SK텔레콤은 이를 통해 AI가 문제 해결 계획을 세우고 여러 단계의 작업을 수행할 때 판단 과정과 결과의 타당성을 점검하는 능력을 강화할 방침이다. 장기적으로는 필요한 지식을 학습하며 스스로 발전하는 AI 에이전트 구현을 목표로 삼았다.

김태윤 SK텔레콤 파운데이션 모델 담당은 “전문 연구자들과의 공동 연구를 통해 에이전틱 AI 역량을 고도화해 나가겠다”고 말했다.