Prof. Donald Knuth eröffnete sein neues Papier mit "Schock! Schock!" Claude Opus 4.6 hatte gerade ein offenes Problem gelöst, an dem er wochenlang gearbeitet hatte – eine Graphzerlegungs-Vermutung aus "The Art of Computer Programming." Er nannte das Papier "Claudes Zyklen." 31 Erkundungen. ~1 Stunde. Knuth las die Ausgabe, schrieb den formalen Beweis und schloss mit: "Es scheint, als müsste ich meine Meinungen über generative AI eines Tages überarbeiten." Der Mann, der die Bibel der Informatik geschrieben hat, hat gerade das gesagt. In einem Papier, das nach einer AI benannt ist. Papier: