팀스파르타 초경량 언어모델, 'K-AI 리더보드' 초고난도 추론 1위 | AXDevHub