Da AI knuste et matteproblem som stoppet en ekspert i uker

Jeg leste nettopp en historie som fikk meg til å miste kjeften. Donald Knuth – ja, den Knuth fra "The Art of Computer Programming" – har sluppet en artikkel kalt "Claude's Cycles". Den handler om hvordan AI løste et knalltøft problem han selv hadde slitt med i uker.

Problemet som ingen ville ha

Knuth jaget en løsning på directed Hamiltonian cycles i en 3D-rutenett. Tenk deg punkter i et rutenett, der hver kobles til tre naboer på spesielle måter. Målet: Tre baner som dekker alle punkter uten overlapp, og bruker alle koblinger.

Han fikset små tilfeller. Men den generelle løsningen for alle størrelser? Null fremgang etter uker med slit.

Claude entrer scenen

Kollega Filip Stappers testet Anthropics Claude Opus 4.6. Uten store forventninger. Men Claude gikk bananas. Den delte opp jobben i 31 stegvise undersøkelser.

Først enkle triks – de floppet. Så smartare vinkler. Den omformulerte matteuttrykk, spottet skjulte mønstre og bygde løsningen lag på lag.

Rundt steg 15 kom "fiber decomposition". En smart måte å dele problemet i biter på. Dette er ikke bare regnekraft. Det er ekte innsikt.

Øyeblikket som endret alt

Etter timer med systematikk: Boom! Ved steg 31 fant Claude en konstruksjon som funket for alle oddetall over 2. Elegante, kort kode. Stappers kjørte tester fra 3 til 101. Perfekt hver gang.

Hvorfor det rocker (og ikke)

Ikke hyl om AI tar over matteverdenen ennå. Knuth måtte selv lage et stramt bevis. Claude pekte veien, men menneskehodet forklarte hvorfor.

Dette er ikke seier over folk. Det er teamwork. AI utforsker og ser mønstre. Mennesker gir intuisjon og bevis. Et nytt verktøy i verktøykassa.

Den ekte, rotete sannheten

Knuths beretning er brutalt ærlig. Stappers måtte restarte Claude gang på gang. Feil i koden. Manglende logger. AI ble sittende fast.

Samarbeid med AI er svett jobb. Ikke trollmannskunst. Men når det klaffer, overrasker det skikkelig.

Hva nå?

Løsningen mangler for partall. Claude klarte ikke det. Mye matte krever fortsatt menneskelig gnist.

Likevel: Dette lover godt. AI som research-hjelper – utforsker rom, finner mønstre vi overser. Knuth sa det best: "Hatten av for Claude!" Og for menneskene som styrte showet.