Amikor az AI megoldotta a matekos fejtörőt, ami hetekig kínlálta Knuthot

Frissen olvastam Donald Knuth legújabb cikkét, és le voltam nyűgözve. Ő az a legendás számítógép-tudós, aki megírta a "Számítógépes programozás művészetét". A papírja címe: "Claude ciklusai". Ez azonnal felkeltette a figyelmemet.

A kínzó probléma

Knuth egy kemény matekfeladaton dolgozott: irányított hamiltoni ciklusok egy 3D rácsban. Képzelj el egy pontokból álló hálót, ahol minden pontnak három szomszédja van, pontos mintázat szerint. A feladat: három külön útvonalat találni, ami végigjárja az összes pontot pontosan egyszer, és minden kapcsolatot felhasználja.

Kis esetekben megvolt a megoldás, de a általános képlet elkerülte hetek óta. Állandóan ezen agyalt.

Claude lép be a képbe

Filip Stappers, Knuth kollégája kipróbálta az Anthropic Claude Opus 4.6-ot. Nem várt csodát. De Claude nem csak találgatott. Rendszerezett módszert dolgozott ki.

31 lépésben boncolgatta a dolgot. Először egyszerű trükköket próbált (sikertelenül), aztán bonyolultabbakat. Átformálta a matematikai modellt, észrevett mintázatokat, amik még profi matekosok szemét is elkerülhették. Lépésről lépésre építkezett.

A 15. lépésben jött a csavar: "rostbontás" néven egy okos darabolás. Ez nem nyers számolgatás, hanem igazi matekérzék.

A nagy áttörés

Órák után, a 31. lépésben megvolt. Egy építkezés, ami minden páratlan számnál működik 2 felett. Egyszerű kód, elegáns, és bevált.

Stappers tesztelte 3-tól 101-ig minden páratlan számnál. Tökéletesen ment.

Miért fontos ez? És miért nem?

Ne essünk pánikba, hogy az AI kiszorítja a matekosokat. Knuth maga írja: bizonyítás kell még – ő azt megadta. Claude megtalálta a mintát, de a "miért"-re ember kell.

A lényeg a csapatmunka. Az AI kitartóan kutat és mintázatot lát, az ember megérti és bizonyít. Új eszköz a matekosok kezében, nem csere.

A valóság piszkos oldala

Knuth őszinte: nem volt sima ügy. Stappers többször újraindította a Claudet, mert hibázott. Folyamatosan noszogatni kellett a dokumentálásra. Néha elakadt, rossz kódot írt.

Komplex feladatoknál az AI-val dolgozni munka. Nem varázslat. De ha bejön, meglepő.

Mi jön most?

Páros számoknál még nincs megoldás, Claude sem bírta. Sok területen kell még emberi intuíció.

De ilyen történetek optimistává tesznek. Az AI remek kutatóasszisztens lehet: átfésüli a lehetőségeket, mutat új utakat. Knuth zárása tökéletes: "Kalapom le Claude-nak!" És le az embereknek, akik jól kérdeztek és értelmezték.