2026-07-28 온라인뉴스팀

클로드 페이블 5·GPT 5.6 솔·키미 K3 모두 42점 만점 달성… 공식 증명 언어 ‘린(Lean)’ 검증까지 완벽 수행하며 AI 추론 능력의 역사적 대전환 입증

[익스퍼트인사이트 온라인뉴스팀] 인공지능(AI)이 세계 최고 권위의 청소년 수학 경시 대회인 국제수학올림피아드(IMO 2026)에서 제시된 난제들을 모두 완벽히 풀어나가며 최고 점수인 만점(42점)을 기록하는 기적적인 성과를 거두었다. 그동안 인간의 영역이자 최고급 지능의 상징으로 여겨졌던 복잡한 논리적 수학 증명 분야에서 AI가 인간 수학 천재들의 기량을 완전히 압도했다는 평가가 나오며 글로벌 IT 및 학계 전체가 거대한 충격에 빠졌다.

최근 종료된 IMO 2026 문제 풀이 벤치마크 테스트 결과에 따르면, 앤트로픽의 ‘클로드 페이블 5(Claude Fable 5)’, 오프닝AI의 ‘GPT 5.6 솔(GPT 5.6 Sol – xhigh)’, 중국 차세대 모델 ‘키미 K3(Kimi K3)’, 그리고 수학 검증 특화 AI인 ‘악시옴 매스(Axiom Math)’ 등 주요 첨단 AI 모델들이 출제된 6개 난제를 모두 해결하며 42점 만점을 획득했다. 인간 국가대표 학생들에게는 이 6개 문제를 풀기 위해 이틀에 걸쳐 총 9시간의 엄격한 시험 시간이 주어지지만, 최상위 AI 모델들은 이를 불과 2시간~4시간 이내에 완벽히 정답과 증명 과정을 도출해냈다.

이번 테스트에서 가장 눈부신 성과를 낸 모델은 앤트로픽의 ‘클로드 페이블 5’였다. 클로드 페이블 5는 단 한 차례의 재시도 없이 6개 문제 전 항목을 1회 시도(Single Attempt) 만에 완벽히 해결하는 압도적인 논리 정밀도를 보여주었다. 클로드 페이블 5가 모든 문제를 풀고 정답을 제출하는 데 걸린 순수 시간(Clean Time)은 1.8시간, 총 소요 시간은 2.5시간에 불과했다. 비록 총 컴퓨팅 비용은 약 51.05달러(출력 토큰 706k)로 다른 모델에 비해 다소 높게 책정되었으나, 단 한 번의 오류도 없이 가장 빠르고 정확하게 정답에 도달함으로써 현존 최고 수준의 수학적 추론 능력을 증명해냈다.

OpenAI의 ‘GPT 5.6 솔(Sol – xhigh)’ 역시 이에 못지않은 뛰어난 성능과 놀라운 가성비를 입증했다. GPT 5.6 솔은 2번 문제에서 네트워크 및 인프라 오류로 인해 1회의 추가 시도를 거쳤을 뿐, 순수 문제 풀이 시간 1.6시간, 총 소요 시간 3.8시간 만에 42점 만점을 기록했다. 특히 GPT 5.6 솔은 단 236k의 출력 토큰만을 소비하며 총비용 약 20.54달러라는 극도의 효율성을 보여주었다. 이는 기본 설정 모델(GPT 5.6 Sol default)이 28점에 머무른 것과 대비되어, 고도화된 연산 추론(Test-time Compute)을 적용할 때 AI의 문제 해결 능력이 얼마나 기하급수적으로 상승하는지 극명하게 보여준다.

중국의 ‘키미 K3(Kimi K3)’ 또한 42점 만점 대열에 합류했으나, 풀이 방식과 효율성 측면에서는 명확한 차이를 드러냈다. 키미 K3는 3번 및 6번 난제에서 복수의 심층 탐색을 수행하며 총 4회의 추가 시도를 거쳤고, 무려 154만 5,000개(1,545k)에 달하는 폭발적인 출력 토큰을 소비했다. 이로 인해 총 소요 시간은 17.4시간까지 늘어났고 비용은 약 31.40달러가 발생하여, 엄격한 일발 타격형 추론보다는 방대한 탐색 공간을 뒤지는 알고리즘적 연산에 크게 의존했음이 분석되었다.

한편, 이번 IMO 2026 AI 성과에서 학계가 가장 주목한 대목 중 하나는 ‘악시옴 매스(Axiom Math)’가 수행한 형식적 증명(Formal Verification)이다. 악시옴 매스는 단순히 언어 모델이 텍스트로 수학적 해설을 흉내 내는 수준을 넘어, 수학적 논리의 결함을 엄밀하게 검증할 수 있는 대화형 정리 증명 도구인 ‘린(Lean)’ 언어를 사용해 모든 풀이 과정을 100% 기계적으로 실제 증명해 내는 데 성공했다. 이는 AI가 제시한 수학적 해법에 환각(Hallucination)이나 논리적 비약이 전혀 없음을 완벽히 보증하는 결과로, AI가 복잡한 학술적 수학 정리를 오류 없이 정립할 수 있는 단초를 마련했다.

전문가들은 이번 IMO 2026 AI 풀이 결과를 인공지능 개발 역사상 가장 중요한 전환점 중 하나로 꼽고 있다. 그동안 복잡한 조합론, 기하학, 정수론 등이 얽혀 있는 IMO 문제들은 정형화된 패턴 학습만으로는 풀기 어려워 AI의 ‘최후의 보루’로 여겨져 왔다. 그러나 이번 실험을 통해 주요 프론티어 AI 모델들이 인간 최고 수재들의 고유 영역이었던 초고난도 논리 추론마저 완벽히 정복했음이 공식 확인되었다.

이러한 기술적 도약은 향후 고급 과학 연구, 금융 공학, 암호학, 시스템 소프트웨어의 결함 없는 검증 등 산업 전반에 파괴적인 혁신을 가져올 것으로 기대된다. 인간이 수년 이상 걸려 증명해야 했던 수학적·물리학적 난제들을 AI가 몇 시간 만에 검증하고 해결하는 시대가 본격적으로 열린 것이다. 인공지능이 단순한 보조 도구를 넘어 스스로 논리적 진리를 탐구하는 차세대 지능형 엔지니어로 진화함에 따라, 글로벌 기술 패권 경쟁과 학계의 패러다임 변화는 더욱 거세질 전망이다.