La IA de DeepMind ha demostrado que puede resolver problemas de la Olimpiada Matemática Internacional (IMO) al nivel de un medallista de plata. Con la ayuda de los sistemas AlphaProof y AlphaGeometry 2, altamente desarrollados, la IA fue capaz de resolver cuatro de los seis desafiantes problemas de la IMO.
AlphaProof es un sistema basado en el aprendizaje por refuerzo desarrollado para el razonamiento matemático formal. Utiliza el lenguaje formal Lean y combina un modelo de lenguaje preentrenado con el algoritmo AlphaZero, conocido por su éxito en juegos como el ajedrez y el Go. Este método permite a la IA verificar formalmente las pruebas matemáticas y minimizar los errores.
AlphaGeometry 2 es una versión mejorada de una IA para resolver problemas geométricos. Con un sistema híbrido neuro-simbólico, utiliza un gran conjunto de datos y un motor simbólico más rápido para resolver problemas geométricos complejos. Sorprendentemente, ha resuelto el 83% de los problemas geométricos históricos de la OMI, superando con creces a su predecesora.
El rendimiento de la IA en la OMI es un hito importante en el desarrollo de la IA y demuestra su potencial en el campo del razonamiento matemático avanzado. Este avance podría allanar el camino para nuevos avances en ciencia y tecnología y proporcionar nuevas herramientas a matemáticos e investigadores.
Fuentes:
