GPT-5 helped mathematician Ernest Ryu solve a 40-year-old open problem