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