AI, 국제수학올림피아드 금메달 능가

DeepMind AI, 국제 수학 올림피아드 금메달리스트 능가

DeepMind가 개발한 AI 시스템 'AlphaGeometry2'가 국제 수학 올림피아드(IMO) 금메달리스트보다 뛰어난 기하학 문제 해결 능력을 보였다는 주장이 나왔다. 이 시스템은 지난 25년간 출제된 기하학 문제 중 84%를 해결하는 성과를 기록했다.

AI 기하학 문제 해결 능력 향상

DeepMind는 AI가 복잡한 기하학 문제를 해결하는 방법을 연구하며, 향후 범용 AI 모델 개발에 활용될 가능성을 탐색하고 있다. 2024년 IMO에서 AlphaGeometry2는 수학 추론 AI 모델 'AlphaProof'와 결합하여 6문제 중 4문제를 정확히 풀이했다.

AI와 규칙 기반 엔진의 결합

AlphaGeometry2는 Google의 Gemini AI 모델과 규칙 기반 '상징 엔진'을 조합한 하이브리드 시스템이다. Gemini AI는 문제 해결의 단계를 제안하고, 상징 엔진은 이를 검증하는 역할을 한다.

3억 개 이상의 정리 및 증명 학습

DeepMind는 AlphaGeometry2를 훈련시키기 위해 지난 25년간 IMO에 출제된 45개의 문제를 선정하고, 총 3억 개 이상의 정리 및 증명을 생성했다. 훈련 결과, AlphaGeometry2는 50개 문제 중 42개를 해결했으며, 이는 평균 금메달 점수를 초과하는 수준이다. 그러나 변수가 포함된 문제나 비선형 방정식에 대한 한계를 보였다.

AI 시스템 발전 방향 논의

DeepMind는 AlphaGeometry2 개발 과정에서 신경망과 규칙 기반 접근법의 장단점이 부각되었다며, AI의 문제 해결 방식에 대한 논의가 지속될 것으로 내다봤다. AlphaGeometry2는 신경망 아키텍처와 상징 엔진을 결합한 방식으로 발전을 거듭하고 있다.

DeepMind의 AlphaGeometry2는 기존 AI 모델과 차별화된 기하학 문제 해법을 제시할 수 있다는 점에서 흥미로운 발전이다. 특히 AI가 전통적인 상징적 논리와 신경망을 결합한 방식을 채택하면서 보다 정교한 문제 해결 능력을 갖추고 있다는 점이 주목할 만하다. 다만, 특정 유형의 문제에서 여전히 한계를 보이는 만큼 향후 개선이 이루어진다면 더 넓은 범위에서 AI의 기여가 가능할 것으로 기대된다.