Hace casi 30 años, el ajedrez vio su primer enfrentamiento entre el ser humano y la máquina. Gari Kasparov, considerado el mejor jugador de la historia, fue derrotado por Deep Blue en 1997. Aquella victoria no fue solo un hito tecnológico, sino un punto de inflexión que marcó el inicio de una era nueva. Hoy, una década después de ese evento, algo similar parece estar ocurriendo, pero esta vez en el ámbito de las matemáticas.

Qué logró Astra

OpenAI reveló que su modelo interno, Astra, resolvió o avanzó en la resolución de diez problemas matemáticos que llevaban años sin progreso. Entre ellos, el empaquetamiento de esferas en alta dimensión, un desafío que ha intrigado a científicos durante décadas. Otros casos incluyen problemas de criptografía basada en retículos, un área clave en seguridad digital. Según la empresa, el costo total para resolver estos desafíos fue menor a 2.000 dólares en tokens de su API, un precio que pone en duda la necesidad de miles de horas de trabajo manual.

El impacto de Astra no solo está en la eficiencia, sino en el potencial de revolucionar campos como la teoría de números o la física teórica. Expertos como Terence Tao, matemático reconocido como «el Mozart de las matemáticas», ya han comenzado a integrar la IA en su labor, usando herramientas como GPT-5.4 para abordar problemas complejos. Este enfoque está transformando la forma en que se desarrolla la ciencia, acelerando procesos que antes requerían de años de investigación.

Cómo se construyeron las pruebas

La solución de Astra no fue un acto mágico, sino el resultado de una combinación de inteligencia artificial y supervisión humana. Según responsables de OpenAI, el modelo generó argumentos matemáticos, pero fue un equipo de expertos quien convirtió esos resultados en manuscritos formalizados. Luego, cada demostración fue verificada mediante el sistema Lean, una herramienta que permite validar el rigor lógico de las pruebas.

Este proceso mezcla la velocidad de la IA con la precisión de los matemáticos, evitando errores que podrían surgir en un cálculo automatizado. Por ejemplo, aunque Astra generó soluciones, los humanos aseguraron que las demostraciones estaban libres de contradicciones. Esta colaboración entre máquina y mente humana representa una nueva era en la resolución de problemas científicos, donde la IA no reemplaza al científico, sino que lo amplía.

La aparición de Astra no solo acelera el progreso en matemáticas, sino que también redefine el rol de la IA en la ciencia. Mientras la historia se repite —como en el ajedrez de 1997—, el desafío ahora es integrar estas herramientas de forma ética y efectiva. La pregunta que queda es: ¿Cuándo se convertirá esta colaboración en un estándar universal?