https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/0

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

올림피아드 수준에서 수학적 정리를 증명하는 것은 인간 수준의 자동화된 추론에서 주목할 만한 이정표입니다 .이는 대학 입학 전 수학에서 세계 최고의 재능들 사이에서 어려운 것으로 알려져 있기 때문입니다. 그러나 현재의 머신 러닝 접근 방식은 인간의 증명을 기계가 검증할 수 있는 형식으로 변환하는 데 드는 비용이 높기 때문에 대부분의 수학 도메인에 적용할 수 없습니다. 기하학의 경우 고유한 변환 과제로 인해 문제가 더욱 심각하여 심각한 학습 데이터 부족으로 이어집니다. 우리는 수백만 개의 정리와 증명을 다양한 복잡성 수준에서 종합하여 인간이 직접 증명할 필요성을 피하는 유클리드 평면 기하학을 위한 정리 증명기인 AlphaGeometry를 제안합니다. AlphaGeometry는 대규모 합성 데이터에서 처음부터 학습한 신경 언어 모델을 사용하여 어려운 문제에서 무한한 분기점을 통해 기호 추론 엔진을 안내하는 신경 기호 시스템입니다. 30개의 최신 올림피아드 수준 문제 테스트 세트에서 AlphaGeometry는 25개를 풀며, 10개의 문제만 풀고 평균적인 국제 수학 올림피아드(IMO) 금메달리스트의 성과에 근접하는 이전의 가장 좋은 방법을 능가합니다. 특히 AlphaGeometry는 인간이 읽을 수 있는 증명을 생성하고, 인간 전문가의 평가를 받은 IMO 2000 및 2015의 모든 기하학 문제를 풀고, 2004년에 번역된 IMO 정리의 일반화된 버전을 발견합니다.