OpenAI's GPT-5.4 Pro reportedly solves an open Erdős problem in two hours
the-decoder.com