AGI: cómo los matemáticos mecánicos pueden finalmente ofrecer IA con razonamiento a nivel humano

En las matemáticas puras, muy de vez en cuando, los avances llegan como rayos caídos del cielo: el resultado de hazañas de razonamiento y creatividad tan inspiradas que parecen traspasar los límites mismos de la ciencia. inteligencia. En 2016, por ejemplo, el matemático Timothy Gowers se maravilló de la solución al problema del límite máximo, que tiene que ver con encontrar el patrón más grande de puntos en el espacio donde no hay tres puntos que formen una línea recta. La prueba “tiene una cualidad mágica que deja a uno preguntándose cómo diablos se le ocurrió a alguien”, escribió.

Se podría pensar que tales hazañas son exclusivas de los humanos. Pero puede que estés equivocado. Porque el año pasado, inteligencia artificial La empresa Google DeepMind anunció que su IA había descubrió una mejor solución al problema del conjunto de límites que la que cualquier humano había tenido. Y esa fue solo la última demostración de la creciente destreza matemática de la IA. Después de haber luchado durante mucho tiempo con este tipo de razonamiento sofisticado, las IA de hoy están demostrando ser notablemente capaces: resolviendo problemas de geometría complejos, ayudando con pruebas y generando nuevas vías de ataque para problemas de larga data.

Todo lo cual ha llevado a los matemáticos a preguntarse si su campo está entrando en una nueva era. Pero también ha envalentonado a algunos científicos informáticos a sugerir que estamos superando los límites de la inteligencia artificial, acercándonos cada vez más a una IA capaz de un razonamiento genuinamente similar al humano, y tal vez incluso a una inteligencia artificial general, una IA que puede funcionar tan bien o mejor que los humanos. en una amplia gama de tareas. “Las matemáticas son el lenguaje del razonamiento”, dice Alex Davis en DeepMind. “Si los modelos pueden…