{"id":804,"date":"2026-03-11T17:13:29","date_gmt":"2026-03-11T15:13:29","guid":{"rendered":"https:\/\/vittrup-graversen.dk\/?p=804"},"modified":"2026-03-28T12:10:19","modified_gmt":"2026-03-28T10:10:19","slug":"donald-knuth-kaldte-sit-paper-claudes-cycles-da-en-ai-loeste-hans-matematiske-problem-paa-en-time","status":"publish","type":"post","link":"https:\/\/vittrup-graversen.dk\/index.php\/2026\/03\/11\/donald-knuth-kaldte-sit-paper-claudes-cycles-da-en-ai-loeste-hans-matematiske-problem-paa-en-time\/","title":{"rendered":"Donald Knuth kaldte sit paper “Claude’s Cycles” \u2014 da en AI l\u00f8ste hans matematiske problem p\u00e5 \u00e9n time"},"content":{"rendered":"\n

Da Donald Knuth \u2014 manden bag The Art of Computer Programming<\/em> og en af datalogi-historiens mest indflydelsesrige skikkelser \u2014 \u00e5bnede sit nyeste paper med ordene “Shock! Shock!”, vidste man, at noget us\u00e6dvanligt var sket.<\/strong><\/p>\n\n\n\n

I slutningen af februar 2026 publicerede den 88-\u00e5rige Stanford-professor et 6-siders paper med titlen “Claude’s Cycles”<\/a>. Paperet dokumenterer, hvordan Anthropics sprogmodel Claude Opus 4.6 p\u00e5 cirka en time fandt l\u00f8sningen til et \u00e5bent grafteori-problem, som Knuth selv havde siddet fast i i ugevis.<\/p>\n\n\n\n

Historien spredte sig som en steppebrand \u2014 opslaget akkumulerede over 635.000 visninger og 6.000 likes inden for f\u00e5 timer.<\/p>\n\n\n\n

Problemet: Hamiltonske cykler i rettede grafer<\/h2>\n\n\n\n

Det konkrete problem handler om en rettet graf (digraf) med m\u00b3 knuder, hvor hver knude er et tripel (i, j, k) med v\u00e6rdier fra 0 til m-1. Hver knude har pr\u00e6cis tre udg\u00e5ende kanter \u2014 til naboknuderne, hvor henholdsvis i, j eller k \u00f8ges med 1 (modulo m). Udfordringen: find en m\u00e5de at opdele alle<\/em> kanter i grafen i pr\u00e6cis tre Hamiltonske cykler<\/a> (dvs. cykler der bes\u00f8ger alle m\u00b3 knuder pr\u00e6cis \u00e9n gang) \u2014 og g\u00f8r det for alle ulige m st\u00f8rre end 2.<\/p>\n\n\n\n

Problemet var t\u00e6nkt til et kommende bind af The Art of Computer Programming<\/em>. Knuth havde l\u00f8st specialtilf\u00e6ldet 3\u00d73\u00d73 og verificeret l\u00f8sninger computationelt op til 16\u00d716\u00d716, men en generel konstruktion, der virkede for vilk\u00e5rligt ulige m, undslap ham.<\/p>\n\n\n\n

31 fors\u00f8g, \u00e9n time, \u00e9t gennembrud<\/h2>\n\n\n\n

Knuths kollega Filip Stappers gav Claude Opus 4.6 den pr\u00e6cise problemformulering og k\u00f8rte 31 guidede “eksplorationer” over cirka en time. Claude arbejdede sig systematisk igennem en r\u00e6kke strategier: brute-force s\u00f8gning, line\u00e6re og kvadratiske m\u00f8nstre (fejlede), genkendte selvst\u00e6ndigt grafens struktur som en Cayley-digraf<\/em>, introducerede en fiber-dekomposition, afpr\u00f8vede simulated annealing \u2014 og fandt til sidst et “serpentine”-m\u00f8nster, der viste sig at svare til den klassiske modul\u00e6re m-\u00e6re Gray-kode.<\/p>\n\n\n\n

Claude vidste ikke, at den genopdagede noget, der allerede havde et navn i kombinatorikken. Den udledte konstruktionen fra bunden ud fra problemets begr\u00e6nsninger.<\/p>\n\n\n\n

Det er vigtigt at understrege: Claude fandt konstruktionen<\/em>. Knuth skrev det matematiske bevis<\/em>. At finde et m\u00f8nster, der virker, er ikke det samme som at bevise, hvorfor<\/em> det virker \u2014 men det er netop den del, der havde holdt en af verdens skarpeste matematikere fast i ugevis. I sit bevis viste Knuth desuden, at der findes pr\u00e6cis 760 “Claude-lignende” dekompositoner, der er gyldige for alle ulige m.<\/p>\n\n\n\n

Knuths reaktion: “Jeg m\u00e5 vist revidere mine holdninger”<\/h2>\n\n\n\n

Knuth er kendt for at v\u00e6re skeptisk over for store sprogmodeller. Han har tidligere skrevet, at han finder dem imponerende til tekstgenerering, men tvivler p\u00e5 deres evne til den slags stringent matematisk r\u00e6sonnement, hans eget arbejde kr\u00e6ver. Derfor er hans reaktion i paperet s\u00e5 bem\u00e6rkelsesv\u00e6rdig:<\/p>\n\n\n\n

“What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving.”<\/p><\/blockquote>\n\n\n\n

Og hans afsluttende bem\u00e6rkning: “It seems I’ll have to revise my opinions about ‘generative AI’ one of these days.”<\/em><\/p>\n\n\n\n

Han tipper ogs\u00e5 hatten til “Claude” \u2014 et bevidst dobbelt-nik til b\u00e5de sprogmodellen og Claude Shannon, matematikeren der grundlagde informationsteorien.<\/p>\n\n\n\n

De vigtige nuancer<\/h2>\n\n\n\n

Historien er imponerende, men det er v\u00e6rd at holde begejstringen i kontekst:<\/p>\n\n\n\n