GPT 5.2 helps solve Erdős problem #728

(erdosproblems.com) by tootyskooty | Jan 6, 2026 | 0 comments on HN