Una IA acaba de resolver un difícil problema abierto en matemáticas puras. Los matemáticos están conmocionados.
El modelo Astra de OpenAI resolvió este mes una pregunta de larga data en teoría de grupos. Un matemático en ejercicio explica por qué parecía imposible hace solo semanas.
Puntos clave
- El modelo Astra de OpenAI resolvió el problema de los grupos no-sóficos en teoría de grupos, una pregunta abierta importante en matemáticas puras, en agosto de 2026.
- La prueba se basó en teoremas de Gabor Kun y Andreas Thom, añadiendo lo que un experto llama "un giro ingenioso".
- El Dr. Henry Bradford, investigador en teoría de grupos, dice que habría considerado tal avance "increíble" incluso hace unos meses.
- El episodio está llevando a los matemáticos a repensar qué puede hacer la IA en su campo.
Durante la mayor parte de su breve historia, la IA ha sido buena en el reconocimiento de patrones: resolver una ecuación estándar, resumir una prueba, y funciona bien. El descubrimiento genuino ha sido otra cuestión. Esa frontera puede estar moviéndose.
Este mes, Astra de OpenAI produjo una prueba válida para un problema llamado existencia de grupos no-sóficos. Un grupo es una estructura matemática formal que describe simetría; "sóficos" se refiere a una propiedad técnica que rige cómo esas estructuras pueden ser aproximadas. Si existen grupos no-sóficos ha sido una pregunta abierta durante décadas.
La prueba de Astra no surge de la nada. En un artículo para The Guardian AI, el Dr. Henry Bradford, un matemático que trabaja en teoría de grupos, señala que la prueba se apoya fuertemente en teoremas anteriores de sus colegas Gabor Kun y Andreas Thom. Astra aplicó una variación ingeniosa de sus ideas en lugar de inventar un marco completamente nuevo. Cubrimos la ola más amplia de resultados de problemas abiertos de OpenAI en nuestro artículo del 20 de agosto, que señalaba que el matemático más célebre del mundo dijo que el campo tenía hasta finales de 2025 para decidir quién controla su futuro.
¿Esto significa que la IA es mejor en matemáticas que los humanos?
Todavía no, pero la brecha se está cerrando más rápido de lo que la mayoría esperaba. Bradford tiene cuidado de señalar que los avances recientes de la IA en matemáticas se ven como una recombinación sofisticada de ideas existentes, no la creación de teoría nueva desde cero. Esa distinción importa. Resolver un problema con herramientas conocidas es diferente de construir las herramientas mismas.
Aún así, Bradford admite que el resultado de Astra lo perturbó. Incluso hace unos pocos meses, escribe, habría considerado la idea "increíble", y ahora considera temerario apostar en contra de que la IA logre capacidades sobrehumanas en el pensamiento matemático en cuestión de años. Esa admisión, de alguien que trabaja directamente en el campo afectado, tiene peso.
¿Qué significa esto para los matemáticos en ejercicio?
Para las personas cuyas carreras implican demostrar teoremas, la pregunta no es puramente profesional. Bradford lo plantea claramente: si la disciplina prospera o se desvanece depende de lo que la sociedad decide que valora sobre el pensamiento humano.
Si el objetivo son resultados, la IA podría eventualmente suministrarlos más rápido. La comprensión es más difícil de automatizar. Una prueba que no puedes seguir no te enseña mucho, y en este momento la mayoría de las pruebas generadas por IA aún necesitan verificación humana antes de que alguien las confíe.
Para todos los demás, las apuestas inmediatas son menores. Las matemáticas puras no cambian la vida cotidiana de la noche a la mañana. Sin embargo, las mismas capacidades de razonamiento tienden a migrar hacia modelado financiero, diseño de fármacos y desarrollo de software con el tiempo.
Preguntas frecuentes
¿Es Astra de OpenAI lo mismo que ChatGPT?
No. Astra es un modelo de investigación separado de OpenAI, la empresa detrás de ChatGPT. Está diseñado con razonamiento avanzado en mente, aunque OpenAI no ha publicado un desglose técnico completo de cómo manejó esta prueba específica.
¿Deberían preocuparse los matemáticos por sus empleos?
La respuesta honesta de Bradford es: no inmediatamente, pero la situación está cambiando. La IA hoy todavía depende de las matemáticas creadas por humanos como su materia prima. Si algún día puede operar sin esa base es la pregunta que mantiene despiertos a los investigadores.
