참고X
IMO 2026 수학 올림피아드 만점 기록… 주요 AI 모델 추론 능력 비교
Claude Fable, Sol 등 최신 프런티어 모델들의 수학적 추론 능력 벤치마크 결과입니다. 모델 선택 시 성능 데이터를 참고하세요.
요약
최근 종료된 제66회 국제수학올림피아드(IMO) 2026 문제 풀이에서 Fable, Sol, K3, Axiom 등 주요 AI 모델들이 모두 42점 만점을 기록했습니다. Claude Fable 5는 단 1회의 시도만으로 가장 빠르게 문제를 해결했으며, GPT 5.6 Sol은 추가 시도가 1회 있었으나 가장 비용 효율적인 성능을 보였습니다. Kimi K3는 4회의 추가 시도와 많은 토큰을 소모하며 문제를 해결했고, Axiom Math는 Lean 언어를 사용하여 모든 증명을 완수했습니다. 가장 난도가 높았던 P3와 P6 문제를 포함해 AI 모델들은 학생에게 주어진 9시간보다 훨씬 빠른 4시간 이내에 모든 풀이를 마쳤습니다. 이번 결과는 AI의 수학적 추론 능력이 이미 IMO 상위권 수준을 완전히 넘어섰음을 시사합니다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @deedydas: The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended. I ran Fable (high), Sol (xhig
원문 보기 ↗