AI가 국제 수학 올림피아드 문제 해결에서 은메달 표준을 달성하다
- 딥마인드의 AlphaProof와 AlphaGeometry 2 모델이 국제 수학 올림피아드(IMO)에서 은메달 수준의 문제 해결 성과를 달성
- AlphaProof는 형식 수학 추론을 위한 강화학습 기반 시스템, AlphaGeometry 2는 기하 문제 해결에 특화된 개선된 버전
- 이 모델들은 올해 IMO 문제 6개 중 4개를 해결, 총 28점을 얻어 은메달 수준에 도달
- IMO는 젊은 수학자들이 참가하는 가장 크고 권위 있는 대회로, AI 시스템의 수학적 추론 능력을 평가하는 척도로도 사용됨
- AlphaProof는 수학적 명제를 증명하는 모델로, 자연어 문제를 형식 언어로 번역해 증명 후보를 생성 및 검증
- AlphaGeometry 2는 이전 버전보다 더욱 강화된 기하 문제 해결 능력을 보유, 문제 4를 19초 만에 해결
- 이 연구는 향후 수학자들이 AI와 협력하여 새로운 가설을 탐구하고 보다 빠르게 증명을 완성하는 데 기여할 전망
- AlphaProof와 AlphaGeometry 2 개발에는 많은 연구자와 전문가들이 참여, 이들의 기여로 가능한 성과로 평가됨
3news.google.com링크 복사하기
AI 뉴스 요약은 뉴스의 내용을 AI가 요약(GPT-4 활용)한 것입니다. 따라서 틀린 내용을 포함할 수 있습니다. 뉴스의 자세한 내용을 확인하시려면 해당 뉴스 링크를 클릭해주세요.