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