Google DeepMind afirma que sus modelos de inteligencia artificial han alcanzado un “nivel de plata” en matemáticas complejas, tras resolver cuatro de los seis problemas de la Olimpiada Internacional de Matemáticas de este año, una de las competiciones 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 matemático avanzado 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 intuitiva y creativa de problemas y sofisticadas habilidades de razonamiento.
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 Matemática Internacional (IMO) de este año, “alcanzando por primera vez el mismo nivel que un medallista de plata en la competición”, declaró la empresa.
La IMO es la competición más antigua, grande y prestigiosa para jóvenes matemáticos. Se celebra anualmente desde 1959, y en la edición de este año, celebrada en el Reino Unido, participaron más de cien países
Google explicó que la Olimpiada ha adquirido un amplio reconocimiento como “gran reto en el aprendizaje automático y punto de referencia al que aspirar para medir las capacidades de razonamiento matemático avanzado de un sistema de IA”.
El profesor Sir Timothy Gowers, medalla de oro de la IMO, comentó:
“El hecho de que el programa pueda llegar a una construcción no obvia como esta es muy impresionante y va mucho más allá de lo que yo pensaba que era el estado del arte.”
Google incursionó anteriormente en modelos matemáticos de IA con un sistema llamado AlphaGo que aprendió a jugar al juego de mesa Go y derrotó al legendario jugador de Go Lee Sedol en 2016.
Ahora, los investigadores han combinado el sucesor de AlphaGo, conocido como AlphaZero, con modelos lingüísticos preentrenados para crear AlphaProof. Se entrena resolviendo millones de problemas traducidos al lenguaje de programación formal ‘Lean”.
Por su parte, AlphaGeometry 2 es un sistema híbrido neuro-simbólico basado en el modelo de IA Gemini de Google, con capacidades mejoradas en la resolución de problemas de geometría.
La empresa declaró que sus equipos de IA “siguen explorando múltiples enfoques de IA para avanzar en el razonamiento matemático y planean publicar pronto más detalles técnicos sobre AlphaProof”.
Según una presentación de resultados del segundo trimestre de Alphabet, matriz de Google, se ha gastado mucho en investigación relacionada con la IA en DeepMind. La pérdida de “actividades a nivel de Alphabet”, causada principalmente por el dinero gastado en investigación y desarrollo de IA, alcanzó los USD 2,300 millones en el segundo trimestre, casi el doble que en el mismo periodo del año anterior.
Por su parte, la competencia en el campo de la IA sigue aumentando.
Según un informe de Reuters del 15 de julio, el fabricante de ChatGPT OpenAI está trabajando en un novedoso enfoque de sus modelos de IA en un proyecto cuyo nombre en clave es “Strawberry”. Al parecer, el modelo está diseñado para mejorar drásticamente las capacidades de razonamiento de la IA y permitir la investigación autónoma de Internet en profundidad.
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, Mark Zuckerberg, CEO de Meta, afirmó que la empresa estaba dando los siguientes pasos para que la IA de código abierto se convirtiera en el estándar del sector, al tiempo que anunciaba el lanzamiento de su último modelo, Llama 3.1.Aclaración: La información y/u opiniones emitidas en este artículo no representan necesariamente los puntos de vista o la línea editorial de Cointelegraph. La información aquí expuesta no debe ser tomada como consejo financiero o recomendación de inversión. Toda inversión y movimiento comercial implican riesgos y es responsabilidad de cada persona hacer su debida investigación antes de tomar una decisión de inversión
