My interpretation is that Claude did what Knuth considers to be the "solution". Doing the remaining work and polishing up the proof are not necessary to have a solution from this perspective.

Claude did not find a proof, though. It found an algorithm which Knuth then proved was correct.