Este problema matemático parecía imposible de resolver, pero una IA lo ha hecho y en tiempo récord
La inteligencia artificial pertenece a una de las grandes compañías en el sector tecnológico
Escuchamos hablar de inteligencia artificial a todas horas, pero en la mayoría de ocasiones lo hacemos porque se menciona a ChatGPT o a un generador de imágenes como Midjourney. Sin embargo, quienes se encuentran detrás del desarrollo de esta tecnología parecen siempre intentar ir un paso más allá con sus habilidades. Ahora, hemos conocido cómo una IA ha sido capaz de resolver un problema matemático que no había sido resuelto por ningún ser humano.
Google DeepMind descifrando problemas matemáticos
Intentaremos explicarlo de la manera más simple posible. Un reciente artículo publicado en la revista Nature explica cómo un equipo de investigadores de Google ha creado un modelo de lenguaje de gran tamaño que ha conseguido dar con la clave de un problema matemático que nadie había conseguido solucionar y, además, lo ha hecho sin tener un entrenamiento previo en la materia.
Boom!
— Brian Roemmele (@BrianRoemmele) December 14, 2023
A new Nature paper has shown an LLM model "discovered new solutions for the cap set problem, a longstanding open problem in mathematics".
It’s big.
“Mathematical discoveries from program search with large language models”—Nature https://t.co/PXi7c22bPs
FunSearch es el modelo en cuestión y es capaz de combinar a Codey, otro modelo de lenguaje de gran tamaño basado en la IA PaLM 2, con sistemas que rechazan respuestas incorrectas o ilógicas. Alhussein Fawzi es científico en Google DeepMind y afirma que:
Para ser muy honesto, tenemos hipótesis, pero no sabemos exactamente porqué esto funciona. Al principio del proyecto, no sabíamos si funcionaría de alguna manera.
Al inicio, los investigadores realizaron un boceto del programa utilizando el lenguaje de programación Python, pero dejando espacios en blanco para que Codey pudiese resolver el problema a través de un código sugerido. Es un segundo algoritmo el que entra en acción y comprueba lo que Codey ha redactado, realizando algunas sugerencias.
Have you heard of FunSearch?
— Katrina Rogers (@TweetKatrinaR) January 5, 2024
It's a groundbreaking tool combining a Large Language Model (LLM) with an automated evaluator to make verifiable discoveries in math and computer science.https://t.co/kIKz97aBaV#AI #science #LLM
De nuevo, Codey intentará rellenar los espacios en blanco de la mejor manera posible. Este proceso se llevó a cabo a lo largo de varios días, teniendo que repetir el proceso completo algunas docenas de veces y con millones de sugerencias que tuvo que tener en consideración Codey. Finalmente, el denominado 'cap set problem' fue resuelto, en una solución que nunca antes se había planteado.
Y dado que este modelo ha sido realmente útil en un problema matemático imposible hasta la fecha, parece que podría atreverse a descifrar más enigmas de álgebra y números, así como ofrecer soluciones para sectores tan diversos como los centros de datos o el comercio electrónico. Y esto no es más que el principio de la era de la inteligencia artificial.