OpenAI ha presentado GPT-5.2 Pro, una versión avanzada de su modelo de lenguaje que ha conseguido resolver problemas matemáticos que hasta ahora habían resistido a todos los sistemas de inteligencia artificial conocidos. Los resultados, publicados durante la última semana, sitúan al modelo como uno de los mayores avances recientes en razonamiento matemático automatizado, un área históricamente difícil para la IA.
Uno de los hitos más destacados es su rendimiento en FrontierMath, un benchmark diseñado para evaluar la capacidad de los modelos de IA frente a problemas matemáticos de frontera, muchos de ellos cercanos a la investigación académica real. Según los datos publicados, GPT-5.2 Pro supera de forma clara a modelos anteriores y a sistemas competidores, especialmente en los niveles de mayor dificultad, donde el razonamiento simbólico y la planificación a largo plazo son esenciales.
A diferencia de generaciones anteriores, que solían fallar en problemas que requerían múltiples pasos lógicos precisos, GPT-5.2 Pro muestra una mayor estabilidad en cadenas de razonamiento largas, reduciendo errores intermedios y mejorando la coherencia de las soluciones. Este avance ha sido posible gracias a mejoras en el entrenamiento, una arquitectura optimizada para razonamiento profundo y el uso de técnicas de verificación interna más sofisticadas.
Otro punto que ha llamado la atención de la comunidad científica es que el modelo ha logrado resolver problemas matemáticos abiertos o especialmente complejos, algunos asociados históricamente a retos planteados por matemáticos como Paul Erdős. Aunque no se trata de demostrar grandes teoremas inéditos, sí supone un paso importante: la IA empieza a manejar con éxito problemas que combinan abstracción, creatividad formal y precisión lógica.
No obstante, expertos en matemáticas han pedido cautela a la hora de interpretar estos resultados. Figuras reconocidas del ámbito académico señalan que el éxito de GPT-5.2 Pro no implica que la IA “comprenda” las matemáticas como lo hace un humano, sino que aprovecha su enorme capacidad de exploración, velocidad de cálculo y patrones aprendidos durante el entrenamiento. En muchos casos, el modelo prueba rutas que serían inviables para una persona por puro coste computacional.
Desde OpenAI, la compañía subraya que el objetivo no es reemplazar a los matemáticos, sino crear herramientas que puedan asistir en tareas como la verificación de pruebas, la exploración de conjeturas o la automatización de cálculos complejos. En este sentido, GPT-5.2 Pro se posiciona como un asistente avanzado para investigación científica, más que como un sustituto del trabajo humano.
Además de matemáticas puras, el modelo ha mostrado mejoras relevantes en campos relacionados como la física teórica, la ingeniería y la optimización algorítmica, donde los problemas suelen requerir razonamiento formal riguroso. Esto refuerza la idea de que los avances en razonamiento matemático tienen un impacto directo en múltiples disciplinas científicas y tecnológicas.
A pesar del entusiasmo, OpenAI reconoce que persisten limitaciones importantes. GPT-5.2 Pro aún puede fallar en problemas que requieren intuición matemática profunda o nuevas formulaciones conceptuales, y sigue dependiendo de la calidad de los enunciados y del contexto proporcionado. El salto es significativo, pero no definitivo.
En conjunto, la presentación de GPT-5.2 Pro marca un nuevo punto de referencia para la inteligencia artificial aplicada a las matemáticas. Los resultados confirman que el razonamiento formal es uno de los próximos grandes campos de progreso para los modelos de IA, con implicaciones que van mucho más allá de la resolución de ejercicios y se adentran en el terreno de la investigación avanzada.
