This repository studies Google DeepMind's AlphaGeometry, a neuro-symbolic learning model solving math olympiad geometry problems at a gold medalist level. Developed for the Introduction to mathematics for machine learning course by Prof. Francisco Gómez, Department of Mathematics, National University of Colombia, Bogotá, 2024-I.