Las matemáticas son el lenguaje fundamental del universo y proporcionan las herramientas para describir todo, desde las leyes de la física hasta las complejidades de la biología y la lógica de la informática. Durante siglos, sus fronteras se han ampliado únicamente gracias al ingenio humano. En Google DeepMind, creemos que la IA puede servir como una poderosa herramienta para colaborar con matemáticos, aumentando la creatividad y acelerando el descubrimiento.
Hoy presentamos la iniciativa AI for Math, respaldada por Google DeepMind y Google.org. Reúne a cinco de las instituciones de investigación más prestigiosas del mundo para ser pioneras en el uso de la IA en la investigación matemática.
Las instituciones asociadas inaugurales son:
Imperial College London Instituto de Estudios Avanzados Institut des Hautes Études Scientifiques (IHES) Instituto Simons de Teoría de la Computación (UC Berkeley) Instituto Tata de Investigación Fundamental (TIFR)
Los socios de la iniciativa trabajarán para lograr los objetivos compartidos de identificar la próxima generación de problemas matemáticos maduros para conocimientos impulsados por la IA, construir la infraestructura y las herramientas para impulsar estos avances y, en última instancia, acelerar el ritmo del descubrimiento.
El apoyo de Google incluye financiación de Google.org y acceso a las tecnologías de última generación de Google DeepMind, como un modo de razonamiento mejorado llamado Gemini Deep Think, nuestro agente para el descubrimiento de algoritmos, AlphaEvolve, y nuestro sistema formal de finalización de pruebas, AlphaProof. La iniciativa creará un poderoso circuito de retroalimentación entre la investigación fundamental y la IA aplicada, abriendo la puerta a asociaciones más profundas.
Un momento crucial para la IA y las matemáticas
La Iniciativa AI for Math llega en un momento de notable progreso en las capacidades de razonamiento de la IA; Nuestro propio trabajo ha experimentado un rápido avance en los últimos meses.
En 2024, nuestros sistemas AlphaGeometry y AlphaProof lograron una medalla de plata en la Olimpiada Internacional de Matemáticas (OMI). Más recientemente, nuestro último modelo Gemini, equipado con Deep Think, logró un desempeño de nivel de medalla de oro en la IMO de este año, resolviendo perfectamente cinco de los seis problemas y obteniendo 35 puntos.
Y hemos visto más avances con otro de nuestros métodos, AlphaEvolve, que se aplicó a más de 50 problemas abiertos en análisis matemático, geometría, combinatoria y teoría de números y mejoró las soluciones anteriormente más conocidas en el 20% de ellos. En matemáticas y descubrimiento de algoritmos, ha inventado un método nuevo y más eficiente para la multiplicación de matrices: un cálculo central en informática. Para el problema específico de multiplicar matrices 4×4, 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 ciencias de la computación, ayudó a los investigadores a descubrir nuevas estructuras matemáticas que muestran que ciertos problemas complejos son incluso más difíciles de resolver para las computadoras de lo que sabíamos anteriormente. Esto nos brinda una comprensión más clara y precisa de los límites computacionales, lo que ayudará a guiar investigaciones futuras.
Este rápido progreso es un testimonio de las capacidades en rápida evolución de los modelos de IA. Esperamos que esta nueva iniciativa pueda explorar cómo la IA puede acelerar los descubrimientos en la investigación matemática y abordar problemas más difíciles.
Estamos apenas en el comienzo de comprender todo lo que la IA puede hacer y cómo puede ayudarnos a pensar en las cuestiones más profundas de la ciencia. Al combinar la profunda intuición de los matemáticos líderes a nivel mundial con las novedosas capacidades de la IA, creemos que se pueden abrir nuevos caminos de investigación, haciendo avanzar el conocimiento humano y avanzando hacia nuevos avances en todas las disciplinas científicas.