Don Knuth wrote a paper thanking Claude for solving an open math problem | Heykuki News