A 23-year-old individual leveraged GPT-5.4 Pro to solve a 60-year-old mathematical problem known as an Erdős problem. The solution, a proof based on discrete Markov chains, has been verified using the Lean proof assistant. This achievement is being recognized by experts as a significant advancement in number theory, facilitated by artificial intelligence. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Demonstrates AI's potential to aid in complex mathematical research and discovery.
RANK_REASON AI-assisted solution to a long-standing mathematical problem, verified by a proof assistant.