Jak AI rozwikłało matematyczną zagadkę, która męczyła eksperta przez tygodnie

Przeczytałem niedawno relację, która mnie dosłownie wbiła w fotel. Dotyczy Donalda Knutha – tak, tego od "Sztuki programowania komputerowego", giganta informatyki. Wydał artykuł zatytułowany "Claude's Cycles". Musiałem to z wami podzielić.

Zagadka, która nie dawała spokoju

Wyobraź sobie siatkę punktów w 3D. Każdy punkt łączy się z trzema innymi w ścisłym wzorcu. Zadanie? Znaleźć trzy ścieżki, które przejdą przez wszystkie punkty dokładnie raz, wykorzystując każde połączenie. Brzmi prosto? Nie bardzo.

Knuth rozwiązał to dla małych siatek. Ale ogólne rozwiązanie dla dowolnego rozmiaru? Tu utknął na tygodnie.

Claude wchodzi do gry

Kolega Knutha, Filip Stappers, rzucił wyzwanie Claude Opus 4.6 od Anthropic. Bez wielkich nadziei. A tu szok: Claude nie zgadywał. Stworzył plan badań krok po kroku.

Podzielił problem na 31 eksploracji. Zaczął od prostych metod – nie działały. Przeszedł do zaawansowanych. Zmienił zapis matematyczny, wyłapał ukryte wzorce. W 15. eksploracji wymyślił "rozkład włókien" – sprytny podział na części. To nie była siła obliczeniowa. To czysta matematyka.

Chwila triumfu

Po godzinach pracy, w 31. eksploracji – bingo! Claude podał konstrukcję działającą dla wszystkich nieparzystych liczb powyżej 2. Elegancką, prostą w kodzie. Stappers sprawdził od 3 do 101 – zero błędów.

Dlaczego to ważne (i dlaczego nie)?

Nie panikujmy: AI nie zastąpi matematyków. Knuth sam napisał dowód. Claude znalazł wzorzec, ale wyjaśnienie "dlaczego działa" to robota człowieka.

Tu chodzi o współpracę. AI systematycznie szuka, wyłapuje detale. Człowiek dodaje intuicję i dowody. Narzędzie, nie wróg.

Prawdziwe oblicze AI

Knuth nie ubarwia: proces był chaotyczny. Stappers restartował Claude'a po błędach. Musiał przypominać o notatkach. Kod się psuł, AI blokowało.

Praca z AI to harówka. Nie czarodzieje. Ale efekty? Zaskakujące.

Co dalej?

Parzyste liczby wciąż nierozwiązane. Claude nie dał rady. Matematyka nadal potrzebuje ludzkiej iskry.

Jednak takie historie dają nadzieję. AI jako asystent badawczy: przeszukuje przestrzenie rozwiązań, podsuwa pomysły. Knuth podsumował: "Czapki z głów dla Claude'a!". I dla ludzi, którzy zadali dobre pytania.