GPT 5.2 helps solve Erdős problem #728 | Dark Hacker News