“An internal, general-purpose AI model at OpenAI made a breakthrough in an 80-year-old mathematics problem posed by Paul Erdős in 1946.”