서울대학교 서인석 교수의 기고를 통해 수학이 AI의 추론 역량을 평가하는 핵심 시험대로 떠오른 이유와 A.X K2의 성과를 살펴봤다.