To nie było tylko równanie matematyczne.
To była historia o duchach.
W latach trzydziestych niemiecki matematyk Werner Bureau przekształcił geometrię w algebrę. Wziął warkocze – te splątane pionowe pasma, które kojarzymy z włosami lub przyjaznymi bransoletkami – i „spłaszczył” je w siatki liczb.
Matryce.
Tabele topologii.
Ale był niuans.
Nikt nie wiedział, czy to tłumaczenie zadziałało idealnie.
Czy matryca zawsze odpowiadała oplotowi?
A może matematyka kłamała?
Jeżeli matryca traciła informacje, uznawano ją za „niewierną”. Jeśli zachowywał prawdę nienaruszoną, był „wierny”.
Przez dziewięćdziesiąt lat nikt nie mógł zrozumieć tego problemu.
Następnie w 2026 roku Joan Bierman rozwiązała problem.
Miała dziewięćdziesiąt dziewięć lat.
Jak ostatecznie rozwiązano zagadkę 4-nitkowego warkocza
Aby zrozumieć, dlaczego zajęło to stulecie, trzeba spojrzeć na same wątki.
Jeden wątek?
Trywialnie. Ona idzie prosto w dół. Werna.
Dwa wątki?
Krzyżują się ze sobą według powtarzalnego wzoru. Łatwe do śledzenia. Werna.
Trzy wątki?
Przez dziesięciolecia matematycy udowadniali, że ten przypadek również jest prawdziwy. Macierz dokładnie odzwierciedlała węzeł.
Pięć lub więcej wątków?
W tym miejscu matematyka zawodzi.
Dowody geometryczne wykazały, że macierze są całkowicie błędne.
Informacje wyparowały podczas procesu tłumaczenia.
A co z czterema?
Numer cztery pozostał na środku. Osoba z zewnątrz.
Z biegiem lat konsensus wśród naukowców uległ zmianie.
Wielu badaczy wierzyło, że do klubu pięciu lub więcej dołączą cztery pasma. Uważali, że przedstawienie było nieprawidłowe. Przez dziesięciolecia szukali kontrprzykładu, próbując udowodnić, że macierz kłamie.
Szukali kłamstwa, które nie istniało.
Birman wraz z Tarą Brendle (Uniwersytet w Glasgow) i Vasudhą Bharadharam (Uniwersytet Princeton) przerzucili scenariusz.
Zamiast udowadniać, że matryca jest zepsuta, udowodnili, że jest ona prawidłowa.
Dlaczego matematycy przez dziesięciolecia zmagali się z reprezentacjami Biura
Birman nie zaczął od macierzy.
Zaczęła od robienia na drutach.
„Dopiero po ukończeniu szkoły odkryłem piękną matematyczną stronę mojego hobby”. —Joanna Bierman
W latach 70. napisała książkę Braids, Links, and Mapping Class Groups.
Ta książka przywróciła do życia nierozwiązaną sprawę Biura.
Birman pokazał, że dla czterech wątków problem sprowadza się do znalezienia zależności w określonych macierzach 3×3.
Brzmiało obiecująco.
Okazało się jednak, że był to fałszywy trop.
Inni matematycy, jak Emmanuel Breuillard i Oleksandr Kosyak, próbowali rozwiązać ten problem przez ponad dwadzieścia lat.
Zawiodła ich nawet sztuczna inteligencja.
Spędzili sześć miesięcy, przekazując podpowiedzi chatbotom AI, korzystając z podejścia macierzowego Birmana.
Boty nie mogły sobie z tym poradzić.
W środę rano 2026 roku zespół ludzki ogłosił rozwiązanie.
Jakie podejście matematyczne potwierdza poprawność warkocza?
Zespół przestał szukać wad w matrixie.
Bharadharam domyślił się.
Być może samo założenie o niewierności było błędne.
Może 4-żyłowy warkocz był odpowiedni.
Zaadaptowali metodę geometryczną stworzoną przez Johna Moody’ego.
Oryginalne podejście Moody’s wykorzystało tę geometrię, aby udowodnić, że pięć lub więcej pasm jest nieprawidłowych.
Zespół Birmana odwrócił logikę.
Wyobraź sobie kropki na kartce papieru.
Te kropki reprezentują wątki.
Narysuj wokół nich pętle.
Pętle rejestrują interakcję wątków.
Wewnątrz pętli?
To jest dysk.
Brendle po prostu wyjaśnił mechanikę procesu:
Dyski obliczają macierze Biura.
Przy trzech pasmach pętle są ograniczone.
Matrix – wybór inny niż prawdziwy.
W przypadku pięciu lub więcej wątków liczba możliwych dysków eksploduje.
Różne pętle tworzą podobne efekty w matrycy.
Informacje zostały utracone.
Macierz staje się niepoprawna.
Ale cztery?
Cztery to przejście fazowe.
Jak woda zamarzająca w lód.
Możliwości rosną, ale nie na tyle, aby zerwać połączenie.
Zespół znalazł „złośliwe skrypty” w geometrii czterech wątków.
Przetworzyli je.
Udowodnili, że macierz pozostaje prawdziwa.
Sztuczna inteligencja nie mogła rozwiązać hipotezy Biura?
Tak.
I nie.
Awaria nie była winą przyrządu.
Problemem było podejście.
Naukowcy poprosili sztuczną inteligencję o rozwiązanie problemu przy użyciu nieprawidłowej ramki.
Szukali niewierności.
Szukali pęknięć w ścianie, która stała mocno.
Yan-Hui He z Londyńskiego Instytutu Nauk Matematycznych nazwał wynik „szalonym”.
Nie dlatego, że matematyka jest trudna.
Ale dlatego, że tak wielu genialnych umysłów wymagało siedemdziesięciu lat wysiłków.
„To jedna z najciekawszych historii, jakie pamiętamy ostatnio – nie tylko dlatego, że istnieją dowody” – mówi – „ale także dlatego, że pracowało nad nią tak wiele osób”.
Dlaczego ten dowód jest ważny dla teorii grup i węzłów
Warkocze to coś więcej niż tylko fryzura.
Pojawiają się podczas fałdowania białek.
W teorii strun.
W informatyce kwantowej.
Jeżeli mapa przejścia od oplotu do matrycy ma wady, to fizyka może być błędna.
Potwierdzając, że 4-niciowa reprezentacja Biura jest poprawna, zespół uzupełnił lukę w podstawowej mapie topologii.
Birman był zaskoczony uwagą.
„Jestem naprawdę zaskoczona, że wzbudziło to tak duże zainteresowanie” – mówi. „Ludzie szukali kontrprzykładu”.
Trójka nie miała imprezy.
Birman ma dziewięćdziesiąt dziewięć lat.
Brendle i Bharadharam są rozproszone po różnych kontynentach.
Zadanie zostało wykonane.
„To samo w sobie jest interesujące” – mówi Bharadharam.
Warkocz jest tkany.
Matryca pasuje.
Ale następne zamieszanie?
Ktoś inny będzie musiał to rozgryźć.
