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