OpenAI's GPT-5.4 Pro reportedly solves an open Erdős problem in two hours | Dark Hacker News