[칼럼] 수학 올림피아드는 왜 AI의 시험대가 됐을까?

AI 요약

지난 9월8일 오픈AI는 자신들의 내부모델이 7대 밀레니엄 난제 중 하나인 나비에-스토크스 방정식의 해의 존재성과 관련한 문제를 해결했다고 발표했으며, 이는 AI가 수학 분야에서 인간의 추론 역량을 능가하는 단계에 이르렀음을 보여주는 상징적인 순간이었습니다. 2025년 국제수학올림피아드(IMO)에 공식 참가한 구글 딥마인드의 모델은 6문제 가운데 5문제를 해결해 42점 만점에 35점을 획득해 실제 대회 금메달에 해당하는 성적을 냈고, 2024년에는 문제를 형식화된 프로그래밍 언어로 변환하고 장시간 풀이를 탐색해야 했던 것과 달리 2025년에는 LLM 기반 AI가 자연어로 주어진 문제를 제한 시간 안에 해결했습니다. 기업들이 수학에 천문학적 자원을 투입하는 이유로는 LLM이 토큰 예측을 학습해 통계적으로 그럴듯한 문장을 생성하는 반면 논리적 타당성을 보장하지 못해 추론 역량 강화를 위한 별도 학습·검증이 필요했고, 수학 문제는 주어진 조건과 정답이 명확해 통제된 환경에서 AI의 추론을 학습·평가하기에 적합하며 IMO 문제는 매년 새로 출제되어 데이터셋 ��염에도 안전하다는 점이 언급되었습니다.