Comment by bachmeier
6 hours ago
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.
6 hours ago
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.