Guides & Insights
An AI system solved an Erdős problem. Mathematicians debate what that proves
Harmonic's Aristotle, working with OpenAI's GPT-5.2 Pro, resolved Erdős Problem 728 in January 2026, reviving the question of whether AI can produce genuinely new ideas.



