Le modèle GPT 5.2 récemment publié par OpenAI montre des capacités étonnantes dans la résolution de problèmes de mathématiques avancées, ayant aidé à résoudre 11 des 15 conjectures récemment résolues dans le célèbre ensemble de problèmes d'Erdős. Neil Somani (Neel Somani), qui a testé ce modèle, a souligné que ses capacités de raisonnement sont « nettement supérieures », tandis que le mathématicien Terence Tao (Terence Tao) pense que l'intelligence artificielle est particulièrement adaptée à la résolution de ces problèmes obscurs et difficiles, appelés « problèmes de longue traîne ». L'apparition d'outils de formalisation tels que Lean, ainsi que d'assistants en intelligence artificielle comme Aristotle de Harmonic, a renforcé cette tendance et a été reconnue par la communauté académique.