IA de Google y OpenAI gana oro en Olimpiada de Matemáticas
Resolvieron 5 de 6 problemas con modelos de razonamiento general. Meta AI había logrado antes generalizar la función de Lyapunov, un desafío matemático irresuelto desde 1892. Expertos creen que estas tecnologías podrían resolver problemas «del milenio» en menos de un año.
«Un hito para las matemáticas y la inteligencia artificial»
En octubre de 2024, Meta AI hizo historia al generalizar la función de Lyapunov, clave en sistemas dinámicos y sin método general conocido en 132 años. Ahora, Google y OpenAI dan otro salto: sus modelos resolvieron problemas complejos en la Olimpiada Internacional usando lenguaje natural y razonamiento de propósito general, una estrategia innovadora frente a enfoques anteriores.
Avances más allá de la competencia
El equipo de Sergei Gukov (Caltech) utiliza IA para abordar la conjetura de Andrews-Curtis, planteada hace 60 años. Aunque no la han resuelto, refutaron contraejemplos abiertos durante 25 años. Gukov confía en que, con aprendizaje por refuerzo, la IA ayudará a resolver los problemas matemáticos más complejos.
El futuro: ¿la solución a los problemas del milenio?
Según expertos consultados por SCMP, la IA podría resolver problemas sin solución en menos de un año. Gukov coincide, pero evita precisar plazos. Los modelos actuales aún tienen limitaciones, pero su velocidad de desarrollo marca un antes y después en la investigación matemática.
De Lyapunov a la Olimpiada: un camino acelerado
La función de Lyapunov (1892) y la conjetura de Andrews-Curtis (1965) eran desafíos emblemáticos. Meta AI rompió el estancamiento teórico en 2024, y ahora las IA competitivas demuestran versatilidad en problemas estructurados. La comunidad científica observa cómo la tecnología redefine los límites del conocimiento.
Matemáticas sin fronteras (humanas)
El oro olímpico de las IA consolida su papel como herramientas de investigación. Su capacidad para procesar conceptos abstractos con lenguaje natural abre puertas a soluciones inéditas. El siguiente reto: aplicar este potencial a los problemas que han resistido siglos de esfuerzo humano.
