E erdosproblems.com GPT 5.2 helps solve Erdős problem #728 4 points tootyskooty 10 months ago 0 comments