AlphaProo, el sistema de Inteligencia Artificial de Google DeepMind que podría ganar una medalla en la Olimpiada Internacional de Matemáticas 2024

AlphaProo, el sistema de Inteligencia Artificial desarrollado por Google DeepMind, ha logrado un rendimiento que le permitiría ganar una medalla en la Olimpiada Internacional de Matemáticas 2024 (IMO) si compitiera contra humanos. Este modelo, tras varios días de computación, alcanzó una puntuación equivalente a la de un medallista de plata, marcando la primera vez que un sistema de IA obtiene un rendimiento de nivel de medalla. Para lograrlo, AlphaProo tuvo que resolver cuatro de cada seis problemas planteados en la competición.

El informático y físico Ramón López de Mántaras celebró este resultado como un avance significativo en el campo de la IA. Según sus declaraciones a Science Media Centre, esto demuestra que los problemas matemáticos que pueden ser formalizados mediante aprendizaje por refuerzo y otras técnicas están comenzando a ser accesibles para la IA. Sin embargo, también aclaró que esto no hace que la IA sea comparable a un matemático humano, ya que AlphaProo «no ‘entiende’ en absoluto los conceptos matemáticos» y no puede crear soluciones para problemas completamente nuevos.

La investigación matemática avanzada requiere la creación de teoría y la incorporación de nuevos conceptos, lo cual está fuera del alcance de la IA en la actualidad. A pesar de los éxitos de AlphaProo en matemáticas de nivel avanzado de secundaria y pregrado, los especialistas subrayan que el sistema resolvió correctamente tres problemas de álgebra y teoría de números, pero no logró solucionar dos problemas de combinatoria. Asistido por el sistema AlphaGeometry 2, logró resolver un problema de geometría, aunque requirió un tiempo considerablemente mayor al que le llevaría a un participante humano.

La profesora Marta Macho-Stadler, del departamento de Matemáticas de la Universidad del País Vasco (UPV/EHU), explicó que la principal mejora de AlphaProo frente a otros modelos es su capacidad de perfeccionar resultados mediante un sistema de ensayo y error. Sin embargo, advirtió que existen problemas matemáticos complejos que requieren no solo entrenamiento, sino también creatividad, una capacidad que sigue siendo humana.

Por su parte, la profesora Clara Grima destacó el avance de la IA en competencias que antes se consideraban exclusivas de los humanos. Afirmó que las Olimpiadas Matemáticas se centran en problemas que requieren ingenio y un uso eficaz de los conocimientos matemáticos, lo que sugiere que la IA puede alcanzar niveles de ingenio que antes se pensaban inalcanzables.

¿QUIÉN DIJO QUE LA CREATIVIDAD NO SE PUEDE PROGRAMAR?