El modelo de inteligencia artificial matemática de Google DeepMind ha logrado un avance revolucionario en la Olimpiada Internacional de Matemáticas (IMO) de este año. Según fuentes oficiales, los modelos de razonamiento matemático formal AlphaProof y la versión mejorada del modelo de resolución geométrica AlphaGeometry2 resolvieron conjuntamente cuatro de los seis problemas de la IMO de esta edición, alcanzando por primera vez un nivel comparable al de los ganadores de la medalla de plata humana.
En esta competencia entre humanos y máquinas, AlphaProof demostró una capacidad excepcional, resolviendo con éxito dos problemas de álgebra y un problema de teoría de números, y proporcionando además rigurosas demostraciones para sus soluciones. Cabe destacar que AlphaProof también superó el problema considerado el más desafiante de la competición, un problema que solo cinco participantes humanos lograron resolver en la prueba real. Simultáneamente, AlphaGeometry2 mostró un excelente rendimiento en la demostración de problemas de geometría.
El rendimiento conjunto de estos dos sistemas de IA es asombroso. Obtuvieron una puntuación alta de 28 puntos, consiguiendo la máxima puntuación en cada problema resuelto, un resultado comparable a la puntuación más alta del grupo de medallas de plata humanas. Sin embargo, los dos problemas combinados aún no pudieron ser resueltos por los sistemas de IA, lo que demuestra que aún hay margen de mejora para la inteligencia artificial en algunos campos de las matemáticas.
Este logro no solo muestra el enorme potencial de la inteligencia artificial en la capacidad de razonamiento matemático avanzado, sino que también abre nuevas posibilidades para la aplicación de la IA en la investigación y la educación matemática. A pesar de ello, los problemas no resueltos nos recuerdan que, en el complejo mundo de las matemáticas, la perspicacia y el pensamiento creativo de los expertos humanos siguen siendo indispensables.