SKT, 서울대·KAIST와 AI 추론력 높인다…수학 난제 도전

[포인트경제] SK텔레콤이 자체 개발한 인공지능(AI) 파운데이션 모델 'A.X K2(에이닷엑스 케이투)'의 추론 능력을 강화하며 전문 학술 연구 및 산업 현장 적용에 박차를 가하고 있다.

△ 국내 수석 연구진과 결합…AI 활용한 수학 난제 풀이 도전

SK텔레콤은 국내 저명한 수학 및 AI 분야 연구진과 손잡고 A.X K2의 논리적 추론 역량을 대폭 끌어올린다고 22일 밝혔다. 회사는 서울 을지로에 위치한 본사 건물에서 서울대학교와 한국과학기술원(KAIST) 교수진을 초청해 기술 교류 행사를 진행하고, 모델의 성능 향상과 고난도 수학 연구 적용 방안을 다각도로 모색한다.

이번 공동 프로젝트에는 확률론과 이산수학, 위상수학 등 여러 전문 분야를 아우르는 국내 학자들이 다수 합류했다. 서울대 수리과학부의 서인석, 이다빈, 오병권, 변성수, 홍영준 교수를 비롯해 고등과학원 계산과학부 이준경 교수, 수학부 김상현 교수, KAIST 전산학부 박노성 교수 등이 연구에 힘을 보탠다. 이들은 각자의 전공 지식을 학습 데이터에 녹여내는 한편, 거대언어모델(LLM)을 수리 연구에 효과적으로 이식하기 위한 접근법을 탐구한다.

연구진은 기존 AI가 명확히 해석하기 어려웠던 깊이 있는 전문 지식을 A.X K2에 집중적으로 학습시킬 예정이다. 이를 바탕으로 정교해진 모델을 실전 수리 난제 탐구에 투입한다는 계획이다. 이러한 행보는 글로벌 AI 기업들이 수학적 성과를 내며 모델의 범용성을 증명하는 최근 흐름과 궤를 같이한다.

SK텔레콤은 강화된 수리 추론력을 복잡한 과제를 해결하는 에이전틱 AI 고도화의 기본 토대로 삼는다. AI가 다단계 과제를 처리할 때 스스로 판단의 정당성을 검증하는 수준을 높이고, 나아가 능력을 자발적으로 업그레이드하는 '재귀적 자기개선(RSI)' 연구로 이어갈 방침이다.

△ 업계·학계 손잡고 AI 사이버보안 협의체 출범…현장 적용 실증

한편, SK텔레콤은 AI 기술을 보안 산업 영역으로 이식하는 작업도 병행하고 있다. 회사는 지난 7일 업스테이지를 포함해 SK쉴더스, 안랩 등 주요 정보보호 기업 6곳 및 고려대·숭실대·부산대 등 3개 대학과 함께 '독자 AI 사이버보안 협의체'를 결성하고 기술 협력을 위한 업무협약을 체결했다.

이번 협력은 정부의 독자 AI 파운데이션 모델 프로젝트에서 성과를 낸 A.X K 시리즈와 솔라(Solar) 모델을 실제 보안 현장에 적용하기 위해 추진됐다. 참여 기관들은 악성코드 및 취약점 분석 등 현장 데이터를 바탕으로 차기 모델인 'A.X K3' 등을 사전·사후 학습시키고, 상호 레드티밍과 대학 측의 독립적 검증을 거쳐 보안 솔루션 상용화에 나설 예정이다.