Generative AI Solves Select Erdős Problems

Over the past months, researchers have used generative-AI models, including ChatGPT and GPT-5.2 Pro, to produce solutions to several Erdős problems, some of which have been verified. UCLA professor Terence Tao says these represent systematic, lower-difficulty 'cheap wins' and foresees hybrid human-AI collaboration, while urging new verification standards and improved confidence estimates for AI-produced proofs.