La inteligencia artificial acaba de cruzar una línea que muchos consideraban exclusiva de los grandes genios humanos. OpenAI anunció que una versión interna de su familia de modelos Astra resolvió diez problemas matemáticos y de ciencias de la computación que llevaban al menos una década sin avances significativos.
No se trata de ejercicios escolares. Son problemas abiertos en teoría de grupos, geometría de altas dimensiones, teoría de códigos, complejidad cuántica y combinatoria extrema. Cada solución viene acompañada de un certificado formal en Lean 4, verificable por máquina y publicado en GitHub.
El proceso fue sorprendente incluso para los propios investigadores. Primero, una versión de GPT identificó patrones y conjeturas. Luego, un sistema más potente construyó las demostraciones completas en un promedio de 12 horas de razonamiento autónomo. El costo estimado en tokens fue de apenas unos dos mil dólares por prueba.
Físicos y matemáticos que revisaron los resultados confirmaron la validez de los pasos. En un caso particular, la IA detectó una simetría oculta en amplitudes de dispersión de gluones que nadie había formulado antes y generalizó la expresión de forma elegante.
Este hito marca un cambio de era. Hasta ahora la IA ayudaba a calcular o a verificar. Ahora está descubriendo. Está proponiendo fórmulas nuevas y construyendo las pruebas que los humanos no habían logrado imaginar.
OpenAI estima que este tipo de capacidades se volverán más comunes a medida que los modelos de frontera ganen mayor capacidad de razonamiento prolongado. La frontera científica ya no es solo humana.
Para la comunidad académica el impacto es doble: por un lado, aceleración radical de la investigación; por el otro, la necesidad de nuevos protocolos de verificación y atribución cuando una máquina es coautora de un teorema.
Si creías que la IA solo generaba texto bonito, este domingo te demuestra lo contrario. Diez problemas que resistieron una década cayeron en cuestión de horas. La pregunta ahora es qué frontera caerá la próxima semana.
