När AI knäckte ett mattestumpare som höll en expert sysselsatt i veckor

Jag har precis läst en rapport som fick mig att tappa hakan. Donald Knuth, datavetenskapens store mästare bakom "The Art of Computer Programming", har släppt en uppsats med titeln "Claude's Cycles". Det är en historia om AI som löser ett riktigt tufft pussel.

Problemet som ingen kunde lösa

Knuth brottades med ett knepigt matteproblem: riktade Hamilton-cykler i ett tredimensionellt rutnät. Tänk dig en kub av punkter. Varje punkt kopplas till tre grannar på ett exakt sätt. Uppgiften? Hitta tre separata banor som tillsammans täcker alla punkter exakt en gång – och använder varje länk precis en gång.

För små fall funkade det. Men den allmänna lösningen för alla storlekar? Knuth slet i veckor utan framgång.

Claude Opus kliver in

Kollegan Filip Stappers testade Anthropics Claude Opus 4.6. Han hoppades inte på mirakel. Men Claude levererade. AI:n byggde upp en metodisk strategi i 31 steg. Först enkla försök som kraschade. Sen smartare grepp.

Runt steg 15 dök "fiber decomposition" upp – ett sätt att dela upp problemet i hanterbara bitar. Inte ren kraftberäkning. Här snackar vi äkta matematisk uppfattning.

Genombrottet kommer

Efter timmar av experimenterande landade Claude svaret i steg 31. En konstruktion som funkar för alla udda tal större än 2. Enkel kod, elegant design – och den höll.

Stappers kollade från 3 till 101. Perfekt varje gång.

Vad det betyder – och inte betyder

AI tar inte över mattevärlden. Knuth poängterar: ett strikt bevis saknades. Han fixade det själv. Claude såg mönstret. Människan förstod varför.

Det coola är samarbetet. AI utforskar systematiskt och spotar mönster. Människan ger intuition och bevis. Ett nytt verktyg i lådan, inte en ersättare.

Den råa sanningen

Knuths berättelse är brutalt ärlig. Stappers startade om Claude flera gånger vid fel. Påminde om att logga framsteg. AI fastnade ibland, skrev trasig kod.

Att jobba med AI är svettigt. Inte trollkonst. Men när det klickar – wow.

Vad händer nu?

Jämna tal är fortfarande olösta. Claude klarade inte det. Massor av matte kräver mänsklig kreativitet.

Ändå ger det hopp. AI som supereffektiv assistent: utforskar, hittar mönster, föreslår idéer vi missar.

Knuth summerar det perfekt: "Hatten av för Claude!" Och för människorna som styrde processen.