베트남 과학자들이 AlphaGeometry로 AI 수학 모델을 올림피아드 수준의 경지로 끌어올리다

인공지능의 기존 한계를 도전하는 놀라운 돌파구를 마련한 세 명의 베트남 과학자, 정호앙뜨리우(Trinh Hoang Trieu), 럼민떤(Luong Minh Thang), 레비엣꾸옥(Le Viet Quoc)은 AlphaGeometry라는 이름의 AI 수학 모델을 구축하는 이정표를 세웠습니다. 구글 딥마인드(Google DeepMind)의 AI 전문가인 이 세 사람은 전문가 팀과 협력하여, 국제수학올림피아드(IMO)에서 동메달리스트의 문제 해결 능력을 경쟁할 뿐만 아니라 능가하는 시스템을 만들어냈습니다. AlphaGeometry의 강점은 훈련과 문제 해결의 독특한 접근 방식에 있으며, 이는 AI 보조 수학 분야에서 상당한 도약을 의미합니다.

올림피아드 수준의 AI 수학 모델

AlphaGeometry라는 AI 모델의 핵심은 2000년부터 2022년까지 IMO에서 사용된 기하학 문제 30개 중 25개를 성공적으로 해결하며 뛰어난 능력을 입증했습니다. 이 성과는 당시 가장 강력한 기하학 정리 증명기로 여겨졌던 1970년대의 유명 시스템이 겨우 10개의 문제만 해결했던 것과 비교할 때 특히 주목할 만합니다. 이 성공은 AlphaGeometry를 독자적인 리그로 올려놓았으며, 일반적으로 25.9개의 문제를 해결하는 IMO 금메달리스트의 평균 성능을 초과합니다. 트리에우, 탕, 꾸옥 세 사람은 수백 단계가 필요한 복잡한 수학 문제를 다루는 이 전례 없는 성취에 경외감을 표하며, 수학 문제의 복잡성을 강조했습니다.

AlphaGeometry의 독특한 특징은 기하학 문제 해결을 위해 신중하게 조정된 신경 언어 모델과 기호 엔진의 결합에 있습니다. 이를 차별화하는 점은 인간 예시가 없는 합성 데이터에 의존한다는 점으로, 이를 통해 모델은 ‘무’에서 고품질 응답을 생성할 수 있습니다. 이는 주로 인간의 솔루션에 대한 기존 또는 유사한 답변을 찾는 ChatGPT나 Gemini와 같은 다른 AI 모델들과 AlphaGeometry를 구분짓는 요소입니다. 시카고 대학교 수학과의 응우옌바오짜우(Ngo Bao Chau) 교수는 IMO 기하학 문제 해결이 체스와 유사하다고 인정하며, AI 연구자들의 칭찬받을 만한 성과를 평가했습니다.

AlphaGeometry의 여정

AlphaGeometry의 기원은 2019년으로 거슬러 올라가며, 정호앙뜨리우가 뉴욕대학교에서 졸업 연구 주제를 찾던 중 이 아이디어를 구상했습니다. 호찌민시 과학대학교의 전 학생인 트리에우는 간단한 기하학 문제를 해결할 수 있는 모델을 상상했습니다. 트리에우의 아이디어에 매료된 럼민떤과 레비엣꾸옥(전 수학 전공 학생들)이 이 프로젝트에 합류했습니다. 2021년 구글 딥마인드에 합류한 트리에우와 팀은 AlphaGeometry를 위해 열심히 노력했으며, IMO 기하학 문제가 해결된 지 3개월 만에 돌파구를 마련했습니다.

팀의 비전은 AlphaGeometry를 단순한 수학의 경이로움으로만 보지 않는 것입니다. Trieu는 고등학생들의 기하학 문제를 지원하는 가이드 시스템으로 활용될 잠재력을 제안하며, 이는 AI 보조 교육으로의 진전을 의미합니다. 2014년 국제수학올림피아드(IMO) 금메달리스트이자 매사추세츠공과대학교(MIT) 연구원인 Evan Chen은 AlphaGeometry의 능력에 놀라움을 표하며, 좌표와 대수를 사용하는 기존 방법과는 달리 순수한 기하학적 원리에 의존한다는 점을 강조했습니다.

AI 보조 수학 분야에서의 AlphaGeometry의 선구자적 여정

AlphaGeometry가 unparalleled한 능력으로 중심에 서면서, AI 보조 수학의 미래에는 어떤 가능성이 있을까요? 천년장려문제 7개를 해결하는 데 도움을 줄 잠재력을 지닌 AlphaGeometry에 대해, 연구자들은 다양한 분야에서의 지속적인 개발과 적용을 예상하고 있습니다. 저명한 학술지 네이처(Nature)에 그들의 연구가 게재된 것은 Le Viet Quoc에게 자부심을 안겨주었으며, AI가 수학 문제를 해결하는 것을 넘어 인류를 한 단계 도약시키는 잠재력을 가지고 있음을 강조합니다. AlphaGeometry의 독특한 접근 방식이 AI 보조 수학의 새로운 시대를 열 수 있을까요?

인공지능의 경계가 끊임없이 확장되는 세상에서, 베트남 과학자들이 개발한 AlphaGeometry는 인간의 독창성과 최첨단 기술이 결합할 때 무한한 가능성이 실현될 수 있음을 증명하는 사례입니다.