Las IA se dedican a las matemáticas

DeepMind, la filial de Google especializada en inteligencia artificial (IA), presentó el 17 de enero un modelo con un fuerte apetito por las matemáticas. Tanto es así que la solución, llamada AlfaGeometríaresolvió más de veinte problemas complejos de geometría de un prestigioso concurso reservado a estudiantes menores de veinte años.

DeepMind da un paso más hacia un modelo “invencible” en matemáticas

Hasta ahora, los modelos de IA diseñados para resolver problemas matemáticos no han funcionado muy bien, teniendo como máximo sólo un 50% de respuestas correctas. En los últimos meses, los equipos de DeepMind han conseguido superar esta barrera que parecía insuperable. De hecho, un grupo de investigadores desarrolló una herramienta que respondió correctamente a veinticinco de los treinta problemas propuestos durante la Olimpiada Internacional de Matemáticas, un campeonato que reúne a los mejores estudiantes de secundaria de todo el mundo.

Si AlphaGeometry hubiera participado en el concurso y hubiera respondido a tantas preguntas, sería uno del 8% de los candidatos que obtendrían la medalla de oro, el santo grial de estas Olimpíadas, lo que constituye una actuación significativa. El funcionamiento de este modelo fue explicado en la revisión. Naturaleza por los investigadores que lo desarrollaron.

La IA desarrollada por DeepMind no es un simple modelo de aprendizaje automático o aprendizaje profundo, basado en una red neuronal artificial. La base de datos de demostraciones geométricas no es lo suficientemente extensa ni precisa para constituir un conjunto suficiente para el entrenamiento de dicha herramienta. Sin embargo, estos datos siguen siendo necesarios para que el modelo comprenda los fundamentos de la geometría.

Así, la solución desarrollada por DeepMind también aprovecha un “ cerebro simbólico «. Los investigadores tienen “ hecho » datos, apoyándose en figuras geométricas clásicas a las que sometían transformaciones matemáticas de todo tipo. Así, pudieron construir una base de 100 millones de ejemplos geométricos que luego utilizaron para perfeccionar el entrenamiento de su modelo. Dado que combina dos cerebros, se dice que AlphaGeometry es un modelo neurosimbólico.

Cuando los científicos de DeepMind le presentaron los treinta problemas de geometría de la Olimpiada, la herramienta solo necesitó su cerebro simbólico para responder catorce de ellos. Para encontrar la solución a nueve problemas adicionales, el segundo cerebro de AlphaGeometry, el construido mediante pruebas matemáticas, se activó para ofrecer un mayor campo de posibilidades geométricas.

Pese a todo, el modelo de DeepMind llegó a sus límites al tropezar con cinco enigmas, incluido el de los círculos que se cruzan resuelto en 1979 por el matemático vietnamita Le Ba Khanh Trinh, que le valió la medalla de oro y un premio especial. Según la comunidad científica, si bien el desarrollo de una herramienta de este tipo constituye un avance sin precedentes, los investigadores están muy lejos de haber desarrollado una IA capaz de vencer a los mejores matemáticos.