SKT, 수학 난제 연구로 독파모 모델 추론 성능 높인다

[사진=SKT]

SK텔레콤(SKT)이 국내 수학·인공지능(AI) 연구진과 손잡고 독자 AI 파운데이션 모델(독파모) '에이닷엑스 케이투(A.X K2)'의 수학 추론 능력을 강화한다.

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

이번 프로젝트에는 수학과 AI 분야의 국내 연구진이 참여한다. 수학 분야에서는 확률론·통계물리를 연구하는 서인석 서울대 수리과학부 교수와 이산수학·그래프 이론을 연구하는 이준경 고등과학원 계산과학부 교수, 저차원 위상수학·기하적 군론을 연구하는 김상현 고등과학원 수학부 교수 등이 참여한다.

거대언어모델(LLM)을 수학 연구에 활용하는 방법론도 공동으로 연구한다. 홍영준 서울대 수리과학부·협동과정 인공지능 전공 교수와 이다빈·오병권·변성수 서울대 수리과학부 교수, 박노성 KAIST 전산학부 교수 등이 수학자의 전문지식을 모델 학습에 반영하는 방안을 모색한다.

연구진은 기존 AI 모델이 충분히 학습하지 못한 수학 세부 분야의 전문지식과 추론 능력을 A.X K2에 보완할 계획이다. 이후 고도화한 모델을 각 분야의 수학 연구에 적용해 난제 해결 가능성을 검증한다.

SKT는 산학협력을 통해 확보한 수학 추론·검증 능력을 에이전틱 AI 고도화에도 활용한다. AI가 복잡한 문제의 해결 계획을 세우고 여러 단계의 작업을 수행하는 과정에서 판단과 결과의 타당성을 스스로 점검하도록 하는 것이 목표다.

장기적으로는 AI가 자신의 능력을 개선하고 이를 다음 단계의 발전에 활용하는 '재귀적 자기개선(RSI)' 연구로 범위를 넓힌다는 방침이다.

김태윤 SKT 파운데이션 모델 담당은 "전문 연구자들과의 공동 연구를 통해 에이전틱 AI 역량을 고도화하겠다"고 했다.

한편 SKT는 독파모 3단계 평가에 1위로 올라갔다.