Las matemáticas son el lenguaje fundamental del universo, y durante siglos, el ingenio humano ha sido el único motor de su expansión. Ahora, Google DeepMind cree que la IA puede ser una herramienta poderosa para colaborar con los matemáticos, impulsando la creatividad y acelerando los descubrimientos. De esta premisa nace la iniciativa AI for Math.
¿Qué es la iniciativa AI for Math?
AI for Math es un proyecto impulsado por Google DeepMind y Google, que reúne a cinco de las instituciones de investigación más prestigiosas del mundo para explorar el uso de la IA en la investigación matemática.
Socios estratégicos
Las instituciones que forman parte de esta iniciativa son:
- Imperial College London
- Institute for Advanced Study
- Institut des Hautes Études Scientifiques (IHES)
- Simons Institute for the Theory of Computing (UC Berkeley)
- Tata Institute of Fundamental Research (TIFR)
Objetivos clave
Los socios de la iniciativa trabajarán para lograr los siguientes objetivos:
- Identificar los problemas matemáticos de nueva generación que son adecuados para obtener información basada en la IA.
- Construir la infraestructura y las herramientas para impulsar estos avances.
- En última instancia, acelerar el ritmo del descubrimiento.
El poder de la IA de Google DeepMind
Google aportará financiación a través de Google.org y acceso a las tecnologías de vanguardia de Google DeepMind. Entre ellas, destaca:
- Gemini Deep Think: Un modo de razonamiento mejorado.
- AlphaEvolve: Un agente para el descubrimiento de algoritmos.
- AlphaProof: Un sistema formal de completación de pruebas.
Esta iniciativa busca crear un ciclo de retroalimentación entre la investigación fundamental y la IA aplicada, abriendo la puerta a colaboraciones más profundas.
Avances recientes que impulsan la iniciativa
La iniciativa AI for Math llega en un momento de gran progreso en las capacidades de razonamiento de la IA. Los sistemas AlphaGeometry y AlphaProof de Google DeepMind ya lograron un estándar de medalla de plata en la Olimpiada Internacional de Matemáticas (IMO) en 2024. Más recientemente, el modelo Gemini, equipado con Deep Think, alcanzó un rendimiento de nivel de medalla de oro en la IMO de este año, resolviendo perfectamente cinco de los seis problemas y obteniendo 35 puntos.
AlphaEvolve también ha demostrado ser prometedor. Se aplicó a más de 50 problemas abiertos en análisis matemático, geometría, combinatoria y teoría de números, mejorando las soluciones conocidas en un 20% de los casos. En el descubrimiento de matemáticas y algoritmos, inventó un nuevo método más eficiente para la multiplicación de matrices, un cálculo central en la informática. Para el problema específico de multiplicar matrices de 4x4, AlphaEvolve descubrió un algoritmo que utiliza solo 48 multiplicaciones escalares, rompiendo el récord de 50 años establecido por el algoritmo de Strassen en 1969.
En informática, ayudó a los investigadores a descubrir nuevas estructuras matemáticas que muestran que ciertos problemas complejos son aún más difíciles de resolver para las computadoras de lo que se pensaba. Esto nos da una comprensión más clara y precisa de los límites computacionales, lo que ayudará a guiar la investigación futura.
Un futuro prometedor
El progreso de la IA es innegable y esta iniciativa promete explorar cómo la IA puede acelerar el descubrimiento en la investigación matemática y abordar problemas más difíciles. Combinando la intuición de los mejores matemáticos del mundo con las capacidades de la IA, se abren nuevas vías de investigación, impulsando el conocimiento humano y avanzando hacia nuevos descubrimientos en todas las disciplinas científicas.
¡Veremos qué nos depara el futuro!