Facebook ha creado una inteligencia artificial capaz de resolver ecuaciones matemáticas complejas, integrar y derivar

Facebook ha creado una inteligencia artificial capaz de resolver ecuaciones matemáticas complejas, integrar y derivar
12 comentarios Facebook Twitter Flipboard E-mail

La inteligencia artificial y las matemáticas no se llevan demasiado bien. A pesar de que los avances en IA han servido para crear robots que montan muebles, derrotar a uno de los mejores jugadores de Go en diversas ocasiones o buscar tejidos humanos infectados, a la IA todavía le queda camino para resolver problemas complejos en los que intervienen ecuaciones con símbolos. Tanto es así que una IA de DeepMind no fue capaz de superar una prueba que consistía en sumar 1+1+1+1+1+1+1, pero ahora Facebook parece haberlo conseguid.

En un artículo disponible en arXiv (PDF), Guillaume Lample y François Charton, investigadores de Facebook AI Research, han conseguido que una inteligencia artificial resuelva ecuaciones complejas en las que intervienen símbolos, por ejemplo, y=4x2-8x6. Lo han hecho entrenando a una red neuronal para que sea capaz de integrar símbolos y resolver ecuaciones diferenciales.

Entender lo que hay detrás de los símbolos

Como cualquier persona con conocimientos básicos de matemáticas sabrá, la mayoría de ecuaciones se expresan usando abreviaturas. "cos" es coseno, x2 es x multiplicado por x, y así sucesivamente. El logro de los investigadores de Facebook AI Research ha sido conseguir que la IA entienda dichas abreviaturas haciéndolas más básicas y construyendo árboles de expresión.

Los investigadores ponen los siguientes ejemplos. 2+3x(5+2) y 3x2+cos(2x)-1 se pueden expresar así o se pueden simplificar para hacerlas más sencillas. Según los investigadores, representar las fórmulas en forma de árbol desambigua el orden de las operaciones, elimina la necesidad de usar paréntesis y mejora la compresión de las operaciones. En otras palabras, usando este método las fórmulas se convierten en secuencias, y eso es más fácil de manejar para una IA.

Expresiones Matematicas
Una ecuación compleja se puede separar en diferentes pasos.

Estas secuencias se procesan usando un modelo seq2seq, que es el que se usa en los sistemas de traducción automática. Con un ejemplo se entiende mucho mejor. 2+3x(5+2) son, realmente, tres secuencias. Siguiendo la jerarquía de las matemáticas, primero se suman 5+2, luego eso se multiplica por tres y luego a eso se le suman 2. Si la IA aprende a identificar esos patrones, puede simplificar las expresiones y resolverlas.

Con eso claro, el modelo estaba listo para ser entrenado. Los investigadores crearon un dataset con expresiones de hasta 15 nodos internos (15 ramificaciones), cuatro operadores binarios (suma, resta, multiplicación y división) y quince operadores unarios (exp, log, sin, cos, tan....). Tras filtrar los resultados para eliminar cualquier expresión que no se pudiera integrar, se consiguió un dataset de 80 millones de ecuaciones diferenciales de primer y segundo grado y 20 millones de expresiones integradas por partes.

La IA aprendió a resolverlas, ergo aprendió a derivar e integrar una expresión matemática compleja. Finalmente, la IA se puso a prueba con un 5.000 expresiones que no conocía y se compararon sus resultados con los obtenidos por Maple, Matlab y Mathematica, tres softwares que cualquiera puede usar para los mismos fines.

Los resultados son que el modelo desarrollado por los investigadores de Facebook obtiene una precisión cercana al 100% en tareas como la integración de funciones, mientras que Mathematica se queda en un 85%. Además, los programas mencionados anteriormente no consiguen solucionar las ecuaciones tras 30 segundos de cáculo, mientras que la red neuronal de Facebook suele encontrar una solución precisa en menos de un segundo, en muchas ocasiones descubriendo varias soluciones equivalentes al mismo problema.

Poco a poco, la inteligencia artificial va mejorando su desempeño en matemáticas, y parece que este enfoque centrado en simplificar las ecuaciones y hacerlas "comprensibles" funciona. De hecho, un enfoque similar fue el que siguió Google cuando a principios de año desarrolló una IA capaz de demostrar más de 1.200 teoremas matemáticos. El hito no es tanto que la IA sepa matemáticas, sino que, de alguna forma, es capaz de desarrollar una suerte de razonamiento matemático.

Vía | MIT Technology Review

Comentarios cerrados
Inicio