OpenAI revoluciona las matemáticas con Astra, su nuevo modelo de IA
Era mayo de 1997 y Gari Kaspárov sufría la derrota definitiva frente a Deep Blue, marcando un hito en la relación entre el hombre y la máquina. Ahora, en 2026, OpenAI presenta Astra, una versión interna de su nuevo modelo de inteligencia artificial generativa que apunta a revolucionar el mundo de las matemáticas.
Avances impresionantes en la resolución de problemas matemáticos
OpenAI anunció que Astra ha logrado resolver o avanzar en la resolución de diez problemas matemáticos que llevaban estancados durante al menos una década, e incluso más tiempo en algunos casos. Estos problemas van desde el empaquetamiento de esferas en alta dimensión hasta la criptografía basada en retículos, demostrando la versatilidad y potencia de este modelo de IA.
Un proceso de trabajo meticuloso
El desarrollo de las pruebas con Astra requirió una combinación de la inteligencia artificial y supervisión humana en distintas fases. Mientras Astra generaba argumentos matemáticos, expertos los convertían en manuscritos y se formalizaban en certificados Lean, verificados automáticamente para garantizar la corrección de las demostraciones.
Resultados sorprendentes y llamativos
Entre las diez pruebas realizadas, destaca la refutación de las llamadas cotas exponenciales, un logro significativo en la teoría de Ramsey. Este resultado ha sorprendido a la comunidad matemática, generando debate sobre el impacto de la IA en el campo.
Cautela y llamado a la revisión humana
A pesar de la celebración de algunos investigadores, otros han pedido prudencia. Se ha destacado la importancia de que matemáticos humanos revisen y validen los resultados obtenidos por Astra, para asegurar su veracidad y fiabilidad. La transparencia en el proceso y la publicación de los problemas no resueltos también han sido propuestos como medidas necesarias para evaluar adecuadamente la capacidad del sistema.
Competencia entre IA por el dominio matemático
El lanzamiento de Astra por OpenAI se suma a la reciente presentación de Mythos Preview por parte de Anthropic, evidenciando una competencia creciente entre los modelos de IA en la resolución de problemas matemáticos. Esta carrera por demostrar superioridad plantea desafíos emocionantes y, a la vez, inciertos en el futuro de las matemáticas.
