AlphaGeometry es un sistema de IA para resolver problemas de geometría que supera el estado del arte. Combina la capacidad predictiva de los modelos de lenguaje neuronal con un motor de inferencia basado en reglas para resolver problemas geométricos complejos. El sistema emplea un enfoque neuro-simbólico, compuesto por un modelo de lenguaje neuronal y un motor de inferencia simbólica que trabajan juntos para encontrar demostraciones de teoremas geométricos complejos. Generando 1000 millones de figuras geométricas aleatorias y deduciendo todas sus relaciones, se obtuvieron 100 millones de ejemplos de entrenamiento únicos, 9 millones de los cuales incluyen construcciones adicionales. El modelo de lenguaje de AlphaGeometry puede ofrecer sólidas sugerencias al enfrentarse a problemas de geometría de las Olimpiadas Matemáticas Internacionales. El sistema se ha convertido en el primer modelo de IA del mundo capaz de alcanzar el nivel de una medalla de bronce en las Olimpiadas Matemáticas Internacionales.