Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics.

TechCrunch (TC) is a leading technology news and media site that covers the latest trends, startups, and innovations in the tech industry. With breaking news,  analysis, and expert commentary, TechCrunch provides  insights into the world of technology and entrepreneurship. Developers can learn about emerging technologies, funding opportunities, and market trends by following TechCrunch's coverage of the tech industry.

TechCrunch

Recent AI models, particularly OpenAI's GPT 5.2, are demonstrating breakthrough capabilities in solving high-level mathematical problems. Since Christmas, 11 of 15 newly solved Erdős problems have credited AI involvement. Tools like Harmonic's Aristotle for formalization and ChatGPT for reasoning are becoming standard in mathematical research. Mathematician Terence Tao notes AI systems excel at systematically tackling the "long tail" of obscure problems with straightforward solutions, though human intervention remains necessary for verification and complex cases.

AI models are starting to crack high-level math problems