ChatGPT - Erdos Problem 960 solution