El matemático de inteligencia artificial de Facebook puede resolver problemas informáticos universitarios

Equations


por Gege Li

ecuaciones

Veronica Vacis / EyeEm / Getty Images

Las máquinas mejoran en matemáticas: la inteligencia artificial ha aprendido a resolver problemas matemáticos de nivel universitario en segundos.

François Charton y Guillaume Lample de Facebook AI Research entrenaron a AI en decenas de millones de problemas informáticos generados aleatoriamente por una computadora. Los problemas eran expresiones matemáticas que involucraban integración, una técnica común en el cálculo para encontrar el área bajo una curva.

Para encontrar soluciones, AI utilizó el procesamiento automático del lenguaje natural (PNL), una herramienta computacional comúnmente utilizada para analizar el lenguaje. Funciona porque la matemática de cada problema puede considerarse como una oración, con variables, normalmente denotadas x, que desempeñan el papel de sustantivos y operaciones, como encontrar la raíz cuadrada, desempeñar el papel de verbos. . AI luego "traduce" el problema en una solución.

publicidad

Cuando el par probó la IA en 500 problemas computacionales, encontraron una solución con un 98% de precisión. Un programa estándar comparable para resolver problemas matemáticos tenía solo un 85% de precisión en los mismos problemas.

El equipo también dio las ecuaciones diferenciales de IA para resolver, que son otras ecuaciones que requieren la integración para ser resueltas, así como otras técnicas. Para estas ecuaciones, la IA no fue tan buena, resolviéndolas correctamente al 81% para un tipo de ecuación diferencial y al 40% para un tipo más difícil.

A pesar de esto, aún podía responder preguntas que confundían otros programas matemáticos correctamente.

Hacer matemáticas en una computadora no es particularmente útil en la práctica, pero con más capacitación, la IA algún día podrá resolver problemas matemáticos demasiado difíciles de resolver para los humanos, explica Charton.

La eficiencia de la IA podría ahorrarle tiempo a los humanos en otras tareas matemáticas, como probar teoremas, dice Nikos Aletras de la Universidad de Sheffield, Reino Unido. -um.

referencia: arxiv.org/abs/1912.01412

Más sobre estos temas:

Sé el primero en comentar

Deja un comentario