El modelo AlphaGeometry de Google DeepMind ha resuelto con éxito 25 problemas de geometría de la IMO (Olimpiada Internacional de Matemáticas), acercándose al nivel de una medalla de oro humana, mientras que GPT-4 obtuvo un lamentable 0. Esto marca una mejora épica en la capacidad de razonamiento matemático de la IA, superando a los sistemas de IA anteriores.
AlphaGeometry demuestra la creciente capacidad de la IA en el razonamiento lógico, el descubrimiento y la verificación de nuevos conocimientos. Este avance abrirá nuevas oportunidades en ciencia e inteligencia artificial.