SK텔레콤이 서울대·KAIST 등 국내 연구진과 협력해 독자 인공지능(AI) 파운데이션 모델 'A.X K2'의 수학 추론 성능을 강화한다.
전문 수학 지식을 모델 학습에 반영하고, 이를 바탕으로 AI 에이전트의 판단·검증 능력을 높인다는 계획이다.
SK텔레콤은 22일 오전 서울 을지로 본사에서 서울대·KAIST 교수진 및 연구자들과 기술 교류회를 열고, A.X K2를 활용한 수학 난제 연구와 모델 고도화 방안을 논의한다.
교류회에는 서울대 수리과학부 서인석·변성수·홍영준 교수, KAIST 전산학부 박노성 교수와 학생 연구원들이 참석한다.
연구진은 확률론과 통계물리, 이산수학, 그래프 이론, 위상수학 등 분야별 전문지식을 A.X K2에 반영하고, 대규모언어모델(LLM)을 실제 수학 연구에 활용하는 방법론을 개발할 계획이다. 기존 모델이 충분히 다루지 못했던 전문지식과 추론 능력을 보완하고, 고도화한 모델을 활용해 각 분야의 수학 난제 해결에 도전할 계획이다.
수학 추론 역량은 AI 에이전트 고도화에도 활용된다. AI 에이전트가 복잡한 업무를 여러 단계로 나눠 수행할 때 각 단계의 판단과 최종 결과가 타당한지 검증하는 능력을 강화하기 위해서다.
장기적으로는 AI가 스스로 능력을 개선하고, 개선된 능력을 다음 단계의 학습에 활용하는 '재귀적 자기개선(RSI)' 연구로 확대할 계획이다. 이를 위해 AI가 생성한 결과뿐 아니라 자체적으로 설계한 실험과 검증 방법의 타당성을 판단하는 기술도 연구한다.
김태윤 SK텔레콤 파운데이션 모델 담당은 “독자 파운데이션 모델의 실제 문제 해결 능력을 높이기 위해 수학 분야 산학협력을 활발하게 추진하고 있다”며 “전문 연구자들과의 공동 연구를 통해 에이전틱 AI 역량을 고도화해 나가겠다”고 말했다.
남궁경 기자 nkk@etnews.com
