BREAKINGMulti-SourceAn OpenAI model solved a famous math problem that stumped humans for 80 yearsArs Technica|6/1/2026