Claude Opus 4.6 našao je rješenje za Knuthove cikluse

AI priče obično pucaju po šavovima čim se iz prezentacijske dvorane presele u stvarni problem. Zato je slučaj Donalda Knutha zanimljiviji od još jedne tablice s pobjedama modela. Simon Willison je 3. ožujka 2026. prenio Knuthovu reakciju, ali važniji dokument je sama Knuthova bilješka Claude’s Cycles, datirana 28. veljače i revidirana 14. travnja 2026.

Knuthov problem dolazi iz teritorija na kojem se marketing brzo ispuhuje: usmjereni grafovi, Hamiltonovi ciklusi i opća konstrukcija koja vrijedi za beskonačnu klasu slučajeva. U kratkoj verziji, trebalo je razložiti lukove grafa s m^3 vrhova u tri usmjerena ciklusa duljine m^3. To nije demo u kojem model napiše uvjerljiv tekst. To je matematički prostor u kojem netočan detalj ruši cijelu stvar.

ŠTO JE STVARNO RIJEŠENO

Knuth je već imao rješenje za m = 3, a Filip Stappers je empirijski našao rješenja za vrijednosti od 4 do 16. Zatim je Stappers isti problem dao Claudeu Opus 4.6, modelu koji je Anthropic predstavio 5. veljače 2026. kao svoj najjači model za složeno rezoniranje, kodiranje i dugotrajnije agentne zadatke. Tu počinje zanimljiv dio: Claude nije samo izbacio dokaz, nego je prolazio kroz preformulacije, DFS pokušaje, serpentine obrasce, fiber dekompoziciju i programske eksperimente.

Rezultat je bila konstrukcija koju je Stappers testirao za sve neparne m od 3 do 101, nakon čega je Knuth napisao matematički dokaz za neparne vrijednosti. U bilješci se vidi i zašto je ovo bolji signal od benchmarka: model je došao do korisnog obrasca, ali kroz proces koji je uključivao restarte, pogreške, izgubljene tragove i podsjećanje da uredno dokumentira napredak. Drugim riječima, nije riječ o autonomnom matematičaru iz kutije. Riječ je o vrlo jakom, vrlo korisnom, ali još uvijek nadziranom istraživačkom alatu.

ZAŠTO JE OVO VIŠE OD BENCHMARKA

Najbolji dio priče nije tvrdnja da je AI riješio Knuthov problem. To je previše čisto i zato manje točno. Bolja formulacija glasi: AI je u rukama stručnog korisnika pronašao konstrukciju koju je čovjek mogao provjeriti, dokazati i dalje razvijati. To je ozbiljniji signal jer premješta razgovor s laboratorijskih metrika na stvarni radni tok: postavi problem, istraži prostor, napiši kod, testiraj, odbaci loše putove, sažmi napredak i prepusti dokaz onome tko zna gdje se zamke kriju.

Revidirana verzija Knuthove bilješke dodatno komplicira jednostavnu pobjedničku priču. Kim Morrison je brzo objavio Lean formalizaciju dokaza, a kasniji dodaci uključuju i rješenja za parne vrijednosti m uz pomoć drugih modela i suradnika. Jedan trag vodi prema repozitoriju no-way-labs/residue, gdje je dokumentiran širi multi-agentni nastavak. Knuthova bilješka tako postaje manje priča o jednom modelu, a više skica budućeg istraživačkog procesa u kojem ljudi, formalni alati i modeli rade na istom problemu iz različitih smjerova.

Za Anthropic je to dragocjenije od prosječnog PR-a. Claude Platform release notes govore o adaptivnom razmišljanju, kontroli napora i dugim kontekstima, ali Knuthov slučaj pokazuje nešto prizemnije: model mora znati ostati u problemu dovoljno dugo da loše pokušaje pretvori u korisno pretraživanje. To je prava konkurentska prednost ako se ponavlja, a ne ako ostane lijepa anegdota.

Zaključak je zato trezveniji od hypea. Claude Opus 4.6 nije dokaz da su modeli shvatili matematiku u ljudskom smislu. Jest dokaz da se jaz između demonstracije i uporabe smanjuje kada je problem dobro postavljen, kada postoje testovi i kada stručnjak ne napušta petlju. To je manje glamurozno od slogana. I puno zanimljivije.