AI Solves 60-Year-Old Erdős Problem with Innovative Approach

Liam Price, a 23-year-old mathematician, has successfully resolved a decades-old mathematical problem known as Erdős Problem #1196 using a single prompt with GPT-5.4 Pro. This achievement comes as a surprise to many, as Price himself was initially unaware of the problem he was addressing. The solution was verified via a proof assistant called Lean and is now officially marked as resolved on the erdosproblems.com platform. The Erdős Problem deals with the structure of primitive sets of integers, exploring complex mathematical conjectures that have long puzzled experts.

The implications of this event are significant for the fields of mathematics and artificial intelligence. Implementing AI tools like GPT-5.4 in mathematical inquiry not only enhances the speed of research but could potentially redefine the methodology employed in resolving long-standing conjectures. However, the acceptance of AI as a credible problem-solver remains debated within academic circles, raising questions about dependency on AI systems and their role in future mathematical research.