Donald Knuth says an AI solved a math problem he was stuck on for weeksboingboing.net4 pointstaubek4 months ago