Mathematicians have been working on the Erdős problem for 60 years, and a 23-year-old guy solved it with one prompt in ChatGPT. The neural network used a formula known in related fields, but no one applied it to this problem.