GPT-5.2 Solves *Another Erdős Problem, #729 | Hacker News Reader