Când AI a rezolvat o problemă matematică care l-a blocat pe Knuth săptămâni întregi

Am citit recent o poveste incredibilă despre cum AI a pus umărul la o problemă grea de matematică. Donald Knuth, geniul din spatele "Artei programării pe calculator", a publicat un articol numit "Ciclurile lui Claude". M-a lăsat cu gura căscată.

Problema care l-a chinuit

Knuth se lupta cu cicluri hamiltoniene direcționate într-o rețea 3D. Gândește-te la un cub imaginar plin de puncte. Fiecare punct se leagă de trei altele, după reguli stricte. Sarcina: să găsești trei trasee separate care să treacă prin toate punctele exact o dată și să folosească toate legăturile posibile.

Pentru cazuri mici, găsise soluții. Dar varianta generală, pentru orice dimensiune? Nimic, după săptămâni de efort.

Claude intră în scenă

Colegul lui Knuth, Filip Stappers, a zis să încerce cu Claude Opus 4.6 de la Anthropic. Fără mari speranțe. Dar Claude a surprins pe toată lumea. A pornit cu 31 de etape de explorare, una mai inteligentă decât alta.

A început cu metode simple – au picat. Apoi a trecut la reformulări matematice, a zărit tipare ascunse. Cam pe la etapa 15, a venit cu "decompoziția în fibre" – o feliește deșteaptă a problemei în bucăți ușor de manevrat. Nu forță brută, ci intuiție matematică pură.

Momentul decisiv

După ore de lucru sistematic, la etapa 31, bum! Claude a găsit o construcție care merge pentru toate numerele impare mai mari de 2. Simplă, codată în câteva linii, perfectă.

Stappers a testat de la 3 la 101 – funcționează impecabil de fiecare dată.

De ce contează (și de ce nu)

Nu intrați în panică, AI nu înlocuiește matematicienii. Knuth zice clar: Claude a găsit modelul, dar dovada riguroasă a venit de la el. AI explorează și vede tipare. Oamenii înțeleg de ce merge și demonstrează.

E o colaborare faină: AI ca asistent puternic, nu ca înlocuitor.

Realitatea cu peripeții

Knuth nu a ascuns nimic. Stappers a repornit Claude de mai multe ori – erori, blocaje, cod stricat. Trebuia să-l oblige să noteze pașii. Lucrul cu AI la probleme complexe înseamnă sudoare. Dar rezultatul? Spectaculos.

Ce urmează?

Pentru numere pare, problema e încă deschisă. Claude n-a rezolvat-o. Rămân zone unde intuiția umană e de neînlocuit.

Totuși, povești ca asta mă entuziasmează. AI devine un partener de cercetare: explorează spații uriașe, sugerează idei noi. După Knuth: "Bravó, Claude!" Și bravo oamenilor care pun întrebările bune.