전문 수학지식 학습해 세부 분야별 추론 능력 강화 추진
재귀적 자기개선 연구로 AI의 실험·검증 역량 강화 추진
핵심 요약
- SKT는 10월 22일 국내 수학 및 AI 연구진과 A.X K2의 수학 추론 역량을 높이고 수학 난제 연구를 추진한다고 밝혔다.
- SKT는 10월 22일 서울 을지로 본사에서 서울대와 KAIST 교수진 및 학생 연구원 등이 참석하는 기술 교류회를 열어 모델 고도화 방안을 논의할 예정이다.
SK텔레콤(SKT·대표이사 CEO 정재헌)은 국내 수학·AI 연구진과 독자 AI 파운데이션 모델 '에이닷엑스 케이투(A.X K2)'의 수학 추론 역량을 높이고 수학 난제 연구를 추진한다고 10월 22일 밝혔다.
SKT는 수학 추론·검증을 에이전틱 AI의 핵심 역량으로 삼아 복잡한 문제의 해결 절차와 여러 단계의 작업에서 판단·결과의 타당성을 검증하는 능력을 강화하려 한다. 재귀적 자기개선(RSI·Recursive Self-Improvement)은 AI가 스스로 성능을 개선하고 향상된 능력을 다음 개선에 활용하는 개념이다. SKT는 RSI 연구에서 AI 생성 결과와 자체 설계한 실험·검증 방법의 수학적 타당성을 판단하는 능력을 핵심으로 삼는다.
김태윤 SKT 파운데이션 모델 담당은 "독자 파운데이션 모델의 문제 해결 능력을 높이기 위해 수학 분야 산학협력을 추진하고 있다"며 "전문 연구자들과 함께 에이전틱 AI 역량을 고도화하겠다"고 말했다.
SKT는 10월 22일 서울 을지로 본사에서 기술 교류회를 열어 모델 고도화 방안을 논의한다. 서울대 수리과학부 서인석·변성수·홍영준 교수와 KAIST 전산학부 박노성 교수, 학생 연구원 등이 참석할 예정이다.
수학 분야에서는 서울대 서인석 교수와 고등과학원 이준경·김상현 교수가 참여해 확률론·통계물리, 이산수학·그래프 이론, 저차원 위상수학·기하적 군론 지식을 모델에 반영할 계획이다.
SKT의 LLM·수학 연구 방법론 협력에는 서울대 홍영준·이다빈·오병권·변성수 교수와 KAIST 박노성 교수가 참여한다. 수학자 전문지식의 모델 학습 적용과 거대언어모델의 실제 수학 연구 활용을 연구하고, 세부 분야별 전문지식·추론 능력을 높인 A.X K2로 난제 해결에 도전할 방침이다.
글로벌 AI 기업들도 수학 연구 성과를 공개하고 있다. 오픈AI는 10월 6일 내부 AI 모델이 도출한 새로운 수학 연구 결과를 공개했으며, 앤트로픽은 8월 클로드가 리만 가설 관련 문제에서 기존 연구 결과를 개선하고 수학자들의 검토를 거쳤다고 발표했다.
