Post by Martin Treiber

Don #Knuth wrote #The #Art of #Computer #Programming which is the bible of computer science. He's spent more than 60 years (!) defining what rigorous, precise reasoning looks like. Now, Claude Opus 4.6 solved an open graph decomposition problem he'd been working on for weeks by - Navigating through 31 iterations of genuine mathematical exploration - Recognizing deep structure (the Cayley digraph insight) - Drawing the right lesson from failed attempts Ultimately, Claude produced something clean enough that a rigorous proof could be written around it. Don Knuth published a paper about it. Gave full credit. Closed with: "Hats off to Claude."