Donald Knuth: “learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6”