"어려운 수학 문제도 거뜬"…구글 AI, 올림피아드 은메달 수준 新무기 공개

구글 인공지능(AI)이 국제수학올림피아드(IMO)에서 은메달 수준의 성과를 달성하며 수학 추론 능력에 있어 중요한 진전을 이뤘다. 구글은 AI 자회사 딥마인드의 공식 뉴스룸을 통해 수학 추론에 특화된 AI 모델 '알파프루프(AlphaProof)'를 출시했다고 26일 밝혔다. 또 올 초 선보인 기하학에 초점을 맞춘 AI 모델의 업데이트 버전인 '알파기하학2(AlphaGeometry2)'도 이번에 함께 공개됐다. '알파프루프'와 '알파기하학2'는 '2024 국제 수학 올림피아드' 문제 6개 중 4개를 해결함으로써 은메달 점수도 받았다. 특히 '알파프루프'는 대수학 문제 2개와 정수론 문제 1개를 해결하며 가장 어려운 IMO 문제도 해결해냈다. 또 '알파기하학2'는 기하학 문제를 19초 만에 풀어 그 성능을 입증했다. 이는 AI가 지금까지 수학대회에서 기록한 최고 점수다. 딥마인드에 따르면 '알파프루프'는 구글의 대규모언어모델(LLM) '제미나이(Gemini)'와 바둑·체스 등 보드게임을 푸는 모델인 '알파제로(AlphaZero)'를 합친 것이다. '알파기하학2'는 더 많은 데이터를 사용해 훈련된 시스템으로, 이전 모델보다 훨씬 더 많은 기하 문제를 해결할 수 있게 됐다. 이번 성과는 AI의 수학적 추론 능력을 비약적으로 향상시켰다는 점에서 중요하다. 업계 일부는 이러한 발전을 일반인공지능(AGI)으로 가는 돌파구로 여기고 있다. 실제로 오픈AI는 같은 목표를 가지고 지난해부터 수학 문제 해결 능력을 갖춘 '스트로베리' AI 개발 프로젝트에 힘을 쏟고 있다. 수학계의 노벨상으로 불리는 필즈 메달 수상자인 윌리엄 티모시 가워스 교수는 "이 프로그램이 추상적인 구조를 생각해 낼 수 있다는 사실은 매우 인상적"이라며 "이는 기존에 생각했던 최첨단 기술 수준 훌쩍 뛰어넘어선 것"이라고 밝혔다.