GPT-5.4 pro solves erdos problem #1196 #1 Post by larve » Wed, Apr 15, 2026, 2:10 PM UTC GPT-5.4 pro solves erdos problem #1196erdosproblems.com