El modelo GPT 5.2, lanzado recientemente por OpenAI, muestra habilidades sorprendentes para resolver problemas de matemáticas avanzadas, ayudando a resolver 11 de los 15 conjeturas recientes en el famoso conjunto de problemas de Erdős. Neil Somani (Neel Somani), quien probó el modelo, señaló que la capacidad de razonamiento del modelo es "claramente más fuerte", mientras que el matemático Terence Tao (Terence Tao) considera que la inteligencia artificial es especialmente adecuada para resolver esos problemas oscuros y difíciles de entender, conocidos como problemas de "cola larga". La aparición de herramientas de formalización como Lean y asistentes de inteligencia artificial como Aristotle de Harmonic ha impulsado aún más esta tendencia y ha sido reconocida por investigadores académicos.