GPT 5.2 helps solve Erdős problem #728 #1 Post by tootyskooty » Tue, Jan 06, 2026, 10:41 PM UTC GPT 5.2 helps solve Erdős problem #728erdosproblems.com