AlphaGeometry2: la IA de Google que resuelve problemas matemáticos mejor que la mayoría de los humanos
La IA de Google también quiere ser experta en matemáticas, en concreto en geometría. Ha logrado estar a un nivel similar al de los seres humanos en algunas pruebas.
Desde hace ya bastantes años, DeepMind de Google ha hecho distintos experimentos con cuestiones relacionadas con la inteligencia artificial, aunque recientemente han estado más centrados en algunas cuestiones que pasan más desapercibidas para otros actores tecnológicos.
Ahora la gente de Google DeepMind está experimentado con una nueva inteligencia artificial capaz de superar la mayoría de los pruebas de la Olimpiada Internacional de Matemáticas (IMO).
La Olimpiada Internacional de Matemáticas es el campeonato mundial de matemáticas para estudiantes de secundaria y se va desarrollando todos los años en un país distinto.
Evidentemente, en esta particular olimpiada, los estudiantes de secundaria compiten en distintas pruebas relacionadas con las matemáticas, y sobre todo en cuestiones de geometría.
Pues bien, DeepMind acaba de lanzar su nuevo modelo llamado AlphaGeometry2, que es una versión mejorada de un modelo que ya tenían, y donde ahora afirma que su IA puede resolver el 84 % de todos los problemas de geometría de los últimos 25 años que se han visto en la olimpiada de matemáticas.
Para demostrarlo, lanzaron un sistema que combinaba AlphaGeometry2 con AlphaProof, último modelo utilizado para el tema del razonamiento matemático.
Luego lo pusieron a prueba para resolver cuatro de los seis problemas tipo que se suelen ver en esta olimpiada de las matemáticas.
AlphaGeometry2 se basa en un modelo de lenguaje de la familia Gemini de Google que ayuda al motor general con el tema de las reglas matemáticas para inferir así soluciones a los problemas.
Cabe aclarar que los problemas base de las olimpiadas de las matemáticas se suelen centrar un gran conjunto de ellos en cuestiones de geometría, en concreto en diagramas a los que es necesario añadir construcciones antes de poder resolverlos.
Así que básicamente lo que hace AlphaGeometry2 es predecir qué construcciones pueden resultar útiles para añadir a un diagrama y se van realizando distintas deducciones.
Así que va sugiriendo distintos pasos en un lenguaje matemático verificando la coherencia lógica de cada uno de ellos.
Además el algoritmo de AlphaGeometry2 le permite realizar múltiples búsquedas de soluciones en paralelo para que se pueda amparar en los mismos.
Para ponerlo ya en funcionamiento, seleccionaron un 45 problemas de geometría de las competiciones de las olimpiadas de los últimos 25 años y luego los tradujeron a un conjunto más grande de 50 problemas.
Al final AlphaGeometry2 pudo resolver 42 de los 50 problemas superando la puntuación promedio de los ganadores de las olimpiadas de 40,9.
No se trata de una IA perfecta, dado que de momento no puede resolver ciertos problemas con un número variable de puntos, ecuaciones no lineales y algunas desigualdades.
También ha obtenido peores resultados en otro conjunto de problemas más difíciles, algunos problemas que habían sido nominados para los exámenes por expertos en matemáticas pero que aún no habían participado en la competición, En estos la IA solo pudo resolver 20 de 29.