베트남 과학자, 올림피아드 AI 수학 모델 구축

신경 언어 모델과 추론 기술 적용

▶ 구글 딥마인드(DeepMind) 소속 베트남 과학자들*이 AI 수학 시스템 AlphaGeometry**를 구축

 * Luong Minh Thang, Trinh Hoang Trieu, Le Viet Quoc

 ** 국제수학 올림피아드의 복잡한 기하학 문제를 해결하고, 수학적 정리가 가능한 AI 시스템

▶ 1970년대에 개발된 기존의 AI 시스템은 단 10개의 문제만을 풀이할 수 있었지만, 이번에 구축된 AlphaGeometry의 경우 최근(2000~2022) 국제수학올림피아드(IMO)의 기하학 문제를 기준으로 30개 중 25개를 표준시간 내 해결 

▶ AlphaGeometry = 신경 언어 모델 + 기호 추론 엔진

 - 신경 언어 모델* : 수학 증명 데이터를 기계가 읽을 수 있는 기술을 합성한 모델

 * 인간의 사례가 없는 1억 개의 기하학적 증명 사례를 합성한 자체 데이터

 - 기호 추론 엔진* : 여러 규칙을 적용해 AI가 추론할 수 있게 하는 기술

 * AI의 풀이 정확도를 높이기 위해 해석할 수 없는 기호를 규칙으로 적용

▶ AlphaGeometry 모델은 기하학적 문제 해결이 필요한 고등학생을 위한 안내 시스템으로 사용할 수 있으며, 수학 AI의 데이터 부족 문제를 해결할 수 있는 수단으로도 활용 가능. AlphaGeometry 모델을 통해 수학, 과학, 그리고 AI 전반에 걸쳐 새로운 가능성을 보여줄 것으로 기대됨

※ 참고

- https://www.nature.com/articles/s41586-023-06747-5

<동향리포트>는 글로벌 과학기술문화, 과학·수학·정보 교육 분야의 정책 의사결정자들을 위한

국가별 정책, 연구조사보고서, 유관기관 동향 등 시의성 있는 유용한 정보를 제공합니다.