Donald Knuth says an AI solved a math problem he was stuck on for weeks | Heykuki News