O modelo GPT 5.2, lançado recentemente pela OpenAI, demonstra habilidades surpreendentes na resolução de problemas de matemática avançada, ajudando a resolver 11 dos 15 conjecturas recentemente resolvidas em um conjunto famoso de problemas de Erdős. Neil Somani (Neel Somani), que testou o modelo, apontou que a capacidade de raciocínio do modelo é "claramente mais forte", enquanto o matemático Terence Tao (Terence Tao) acredita que a inteligência artificial é especialmente adequada para resolver problemas obscuros e difíceis de entender, conhecidos como problemas de "cauda longa". O surgimento de ferramentas de formalização como Lean, bem como assistentes de inteligência artificial como Aristotle da Harmonic, impulsionou ainda mais essa tendência e conquistou o reconhecimento dos pesquisadores acadêmicos.