3 ms·OpenAI's GPT-5.4 Pro reportedly solves an open Erdős problem in two hours2 points by voisin 6mo ago