OpenAI's real math breakthrough was not an Astra system solving ten famous open problems. It was one internal reasoning model disproving a long-standing Erdős conjecture, and the timing now matters ...