AI knækker matematikknude, der holdt ekspert i skak i uger
Jeg har lige læst en historie, der fik mig til at gribe efter kaffen. Donald Knuth – ja, den Knuth, mesteren bag "The Art of Computer Programming" – har udgivet en ny artikel kaldet "Claude's Cycles". Den handler om et AI, der løste et problem, han selv havde kæmpet med i lang tid.
Problemet, der satte Knuth fast
Forestil dig et komplekst netværk i 3D: Punkter forbundet på præcise måder. Opgaven? Find tre ruter, der dækker alle punkter uden gentagelser og bruger alle forbindelser. Knuth mestrede små versioner, men den generelle løsning undslap ham. Han arbejdede på det i uger uden held.
Claude Opus træder til
Knuths kollega Filip Stappers smed problemet til Anthropics Claude Opus 4.6. Uden store forventninger. Men Claude gik ikke efter gætteri. Den lagde en plan med 31 trin af undersøgelser. Først enkle metoder – de floppet. Så kom dybere analyser. Den omskrev problemet, spotte mønstre og byggede løsningen sten for sten.
Et højdepunkt? Ved trin 15 introducerede Claude "fiber decomposition". En smart måde at skære problemet i bidder på. Her så vi ikke bare rå regnekraft – men ægte matematisk snilde.
Det store gennembrud
Efter timer med systematisk jagt ramte Claude guldet ved trin 31. En konstruktion, der virkede for alle ulige tal over 2. Elegant, kort kode – og den holdt stik. Stappers testede fra 3 til 101. Perfekt hver gang.
Hvad betyder det – og hvad betyder det ikke?
Ingen grund til panik: AI erstatter ikke matematikere endnu. Knuth selv leverede den stramme bevis. Claude fandt mønsteret, men mennesket forklarede hvorfor. Det her er samarbejde. AI udforsker og spotter det skjulte. Mennesker tilføjer forståelse og beviser. Et nyt værktøj i kassen.
Den ærlige bagved-scenen
Knuths beretning er forfriskende rå. Stappers genstartede Claude flere gange ved fejl. Han måtte minde den om at logge fremskridt. AIene satte fast eller skrev bugget kode. Det er ikke Hollywood-magi. Det er sved og irritation. Men resultatet? Wow.
Hvad sker der nu?
Lige tal? Stadig uløst. Claude gav op der. Mange udfordringer kræver menneskelig kreativitet. Men historier som denne giver håb. AI bliver den ultimative forskningshjælper: Udnytter rum, finder mønstre, peger veje vi overser.
Knuth sagde det bedst: "Hatten af for Claude!" Og lige så meget for menneskene, der stillede de rigtige spørgsmål.