Mô hình GPT 5.2 mới nhất của OpenAI đã thể hiện khả năng đáng kinh ngạc trong việc giải quyết các vấn đề toán học cao cấp, giúp giải quyết 11 trong số 15 giả thuyết gần đây đã được giải quyết trong tập trung các vấn đề của Erdős nổi tiếng. Người thử nghiệm mô hình này, Neel Somani (Neel Somani), chỉ ra rằng khả năng suy luận của mô hình " rõ ràng mạnh hơn", trong khi nhà toán học Terence Tao (Terence Tao) cho rằng trí tuệ nhân tạo đặc biệt phù hợp để giải quyết những vấn đề khó hiểu và dài dòng. Sự xuất hiện của các công cụ hình thức như Lean và các trợ lý trí tuệ nhân tạo như Aristotle của Harmonic đã thúc đẩy xu hướng này hơn nữa và nhận được sự công nhận từ các nhà nghiên cứu học thuật.