Google DeepMind dice que sus modelos de inteligencia artificial se encuentran ahora en un “estándar de nivel plateado” en matemáticas complejas, después de resolver cuatro de seis problemas de la Olimpiada Internacional de Matemáticas de este año, una de las competencias de matemáticas más duras del mundo.
El 25 de julio, Google DeepMind declaró que había logrado avances en la resolución de problemas de razonamiento avanzado en matemáticas para AlphaProof y AlphaGeometry 2.
Las matemáticas se han considerado un punto de referencia crucial para el desarrollo de la IA. Las matemáticas complejas como la geometría requieren una resolución de problemas intuitiva y creativa y habilidades de razonamiento sofisticadas.
AlphaProof es un nuevo sistema basado en el aprendizaje por refuerzo para el razonamiento matemático formal, y AlphaGeometry 2 es una versión mejorada de un sistema de resolución de geometría.
Los dos sistemas resolvieron cuatro de los seis problemas de la Olimpiada Internacional de Matemáticas (OMI) de este año, “alcanzando por primera vez el mismo nivel que un medallista de plata en la competencia”, afirmó la firma.
La OMI es la competición para jóvenes matemáticos más antigua, más grande y más prestigiosa. Se lleva a cabo anualmente desde 1959, y en el evento de este año con sede en el Reino Unido participaron más de cien países.
Google explicó que la Olimpiada ha sido ampliamente reconocida como un "gran desafío en el aprendizaje automático y un punto de referencia aspiracional para medir las capacidades avanzadas de razonamiento matemático de un sistema de inteligencia artificial".
El profesor Sir Timothy Gowers, medallista de oro de la OMI, comentó:
"El hecho de que el programa pueda crear una construcción no obvia como esta es muy impresionante y va mucho más allá de lo que yo pensaba que era lo último en tecnología".
Anteriormente, Google incursionó en modelos matemáticos de inteligencia artificial con un sistema llamado AlphaGo que aprendió a jugar el juego de mesa Go y derrotó al legendario jugador de Go Lee Sedol en 2016.
Los investigadores ahora han combinado el sucesor de AlphaGo, conocido como AlphaZero, con modelos de lenguaje previamente entrenados para crear AlphaProof. Se entrena resolviendo millones de problemas traducidos al lenguaje de programación formal "Lean".
Mientras tanto, AlphaGeometry 2 es un sistema híbrido neurosimbólico basado en el modelo Gemini AI de Google, con capacidades mejoradas en la resolución de problemas geométricos.
La compañía declaró que sus equipos de IA "continúan explorando múltiples enfoques de IA para avanzar en el razonamiento matemático y planean publicar más detalles técnicos sobre AlphaProof pronto".
Según una presentación de resultados del segundo trimestre de la empresa matriz de Google, Alphabet, se ha gastado mucho en investigaciones relacionadas con la IA en DeepMind. La pérdida por “actividades a nivel del alfabeto”, causada principalmente por el dinero gastado en investigación y desarrollo de IA, alcanzó los 2.300 millones de dólares en el segundo trimestre, casi el doble que en el mismo período del año pasado.
Relacionado: 4 cosas que los usuarios de Google Gemini podrán hacer pronto
Mientras tanto, la competencia en IA ha seguido aumentando.
Según un informe de Reuters del 15 de julio, OpenAI, el fabricante de ChatGPT, está trabajando en un enfoque novedoso para sus modelos de IA en un proyecto cuyo nombre en código es "Strawberry". Según se informa, el modelo está diseñado para mejorar drásticamente las capacidades de razonamiento de la IA y permitir la investigación autónoma en Internet profunda.
Además, el 25 de julio, OpenAI anunció el lanzamiento de un prototipo de motor de búsqueda impulsado por IA llamado SearchGPT.
El 23 de julio, el director ejecutivo de Meta, Mark Zuckerberg, dijo que la empresa estaba dando los siguientes pasos para que la IA de código abierto se convirtiera en el estándar de la industria al anunciar el lanzamiento de su último modelo, Llama 3.1.
Revista: Apuesta de $1 millón ChatGPT no conducirá a AGI, uso inteligente de IA de Apple, aumento de millonarios de IA: AI Eye
