SKT, 수학 난제 해결 도전…'독파모' 추론력 높인다

▲7월 4일 서울 종로구 SK텔레콤 대리점 모습. (뉴시스)

SK텔레콤이 국내 수학·AI 연구진과 협력해 독자 AI 파운데이션 모델 'A.X K2(에이닷엑스 케이투)'의 수학 추론 능력을 높이고 수학 난제 해결에 도전한다.

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

이번 연구에는 서울대와 KAIST, 고등과학원 소속 수학·AI 전문가들이 참여한다. 서울대 수리과학부 서인석 교수와 고등과학원 이준경·김상현 교수 등이 확률론·통계물리, 그래프 이론, 위상수학 등 분야별 전문지식을 제공한다.

AI 분야에서는 서울대 홍영준·이다빈·오병권·변성수 교수와 KAIST 박노성 교수 등이 협력한다. 연구진은 수학자의 전문지식을 모델 학습에 반영해 기존 AI 모델이 충분히 다루지 못했던 전문지식과 추론 능력을 보완할 계획이다. 고도화한 모델을 활용해 실제 수학 난제 해결에도 도전한다.

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

장기적으로는 AI가 스스로 성능을 개선하고 향상된 능력을 다음 단계의 개선에 활용하는 '재귀적 자기개선(RSI)' 연구 기반도 마련한다. 이를 통해 글로벌 주요 AI 모델과 견줄 수학 역량을 확보하고 스스로 발전하는 AI 에이전트를 구현한다는 목표다.

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