"Shock! Shock!" Those are the opening words of a paper published this week by Donald Knuth, the ninety-three-year-old godfather of computer science, describing the moment an AI solved a math problem he'd been stuck on for weeks.