Het was niet alleen een wiskundeprobleem.
Het was een spookverhaal.
In de jaren dertig veranderde een Duitse wiskundige genaamd Werner Burau meetkunde in algebra. Hij nam vlechten – die verwarde verticale strengen die we associëren met haar- of vriendschapsarmbanden – en maakte er rasters van getallen van.
Matrices.
Spreadsheets van topologie.
De vangst?
Niemand wist of de vertaling perfect werkte.
Kwam de matrix altijd overeen met de vlecht?
Of heeft de wiskunde gelogen?
Als de matrix informatie verloor, was deze ‘ontrouw’. Als het de waarheid intact hield, was het ‘trouw’.
Negentig jaar lang kon niemand het vastleggen.
Vervolgens loste Joan Birman het in 2026 op.
Ze was negenennegentig jaar oud.
Hoe het 4-strengige vlechtmysterie eindelijk werd opgelost
Om te begrijpen waarom dit een eeuw heeft geduurd, moet je naar de punten kijken.
Eén streng?
Triviaal. Het gaat recht naar beneden. Trouw.
Twee strengen?
Ze kruisen elkaar in een zich herhalend patroon. Gemakkelijk te volgen. Trouw.
Drie strengen?
Decennia lang hebben wiskundigen bewezen dat dit ook waar was. De matrix weerspiegelde de knoop precies.
Vijf of meer strengen?
Hier mislukte de wiskunde.
Geometrische bewijzen toonden aan dat de matrices volkomen ontrouw waren.
Informatie verdampte tijdens de vertaling.
Maar hoe zit het met vier?
De nummer vier zat in het midden. De uitschieter.
Jarenlang verschoof de consensus.
Veel onderzoekers geloofden dat vier strengen zich bij de vijfplusclub zouden aansluiten. Ze dachten dat het ontrouw was. Ze hebben tientallen jaren gezocht naar een tegenvoorbeeld, in een poging te bewijzen dat de matrix loog.
Ze waren op zoek naar een leugen die niet bestond.
Birman draaide samen met Tara Brendle (Universiteit van Glasgow) en Vasudha Bharathram (Princeton University) het script om.
In plaats van te bewijzen dat de matrix gebroken was, bewezen ze dat deze waar was.
Waarom wiskundigen decennialang met Burau-representaties worstelden
Birman begon niet met matrices.
Ze begon met breien.
“Pas toen ik op de graduate school kwam, ontdekte ik de mooie wiskundige kant van mijn tijdverdrijf.” – Joan Birman
In de jaren zeventig schreef ze Braids, Links, and Mapping Class Groups.
Het boek bracht de cold case van Burau nieuw leven in.
Birman liet zien dat het probleem voor vier onderdelen beperkt was tot het zoeken naar relaties in specifieke drie-bij-drie-matrices.
Het klonk veelbelovend.
Het bleek een rode haring te zijn.
Andere wiskundigen, zoals Emmanuel Breuillard en Oleksandr Kosyak, probeerden het meer dan twintig jaar.
Zelfs kunstmatige intelligentie liet hen in de steek.
Ze hebben zes maanden besteed aan het invoeren van aanwijzingen in AI-chatbots met behulp van de matrixaanpak van Birman.
De bots konden het niet kraken.
Op een woensdagochtend in 2026 maakte het menselijke team de oplossing bekend.
Welke wiskundige benadering bewijst de trouw van de vlechten?
Het team stopte met zoeken naar fouten in de matrix.
Bharatram had een vermoeden.
Misschien was de veronderstelling van ontrouw de fout.
Misschien was de vierstrengige vlecht trouw.
Ze pasten een geometrische methode aan die was ontwikkeld door John Moody.
Moody’s oorspronkelijke benadering gebruikte deze geometrie om te bewijzen dat strengen van meer dan vijf ontrouw waren.
Het team van Birman keerde de logica om.
Stel je punten voor op een vel papier.
Deze punten vertegenwoordigen strengen.
Teken er lussen omheen.
De lussen leggen vast hoe de strengen op elkaar inwerken.
De binnenkant van de lus?
Dat is een schijf.
Brendle legde de werking eenvoudig uit:
De schijven berekenen de Burau-matrices.
Met drie strengen zijn de lussen beperkt.
De matrix heeft geen andere keuze dan trouw te zijn.
Met vijf of meer strengen explodeert het aantal mogelijke schijven.
Verschillende loops creëren vergelijkbare matrixeffecten.
Informatie gaat verloren.
De matrix wordt ontrouw.
Maar vier?
Vier is de faseovergang.
Alsof water tot ijs bevriest.
De mogelijkheden groeien, maar niet genoeg om de link te verbreken.
Het team vond ‘vervelende scenario’s’ binnen de vierstrengige geometrie.
Zij hebben ze afgehandeld.
Ze bewezen dat de matrix trouw blijft.
Heeft AI het vermoeden van Burau niet kunnen oplossen?
Ja.
En nee.
De storing was niet de schuld van het gereedschap.
Het was de aanpak.
De onderzoekers vroegen de AI om een probleem op te lossen met behulp van het verkeerde raamwerk.
Ze zochten naar ontrouw.
Ze zochten naar scheuren in een muur die stevig stond.
Yang-Hui He van het London Institute for Mathematical Sciences noemde het resultaat ‘gek’.
Niet omdat de wiskunde complex is.
Maar omdat het zeventig jaar inspanning kostte van zoveel briljante geesten.
“Het is een van de meest interessante verhalen van de laatste tijd – niet alleen dat er bewijs is”, zegt hij, “maar dat zoveel mensen eraan hebben gewerkt.”
Waarom dit bewijs belangrijk is voor de groeps- en knooptheorie
Vlechten zijn niet alleen kapsels.
Ze verschijnen in eiwitvouwing.
In de snaartheorie.
Op het gebied van kwantumcomputers.
Als de kaart van de vlecht naar de matrix gebrekkig is, kan de natuurkunde dat ook zijn.
Door te bevestigen dat de Burau-weergave met vier strengen getrouw is, heeft het team een leemte in de fundamentele kaart van de topologie gedicht.
Birman was verrast door de aandacht.
“Ik ben zeer verrast dat het zoveel aandacht krijgt”, zegt ze.
“Mensen zochten naar een tegenvoorbeeld.”
Het trio gaf geen feest.
Birmaan is negenennegentig.
Brendle en Bharathram zijn verspreid over continenten.
Het werk is gedaan.
“Het is intrinsiek interessant”, zegt Bharathram.
De vlecht is vastgebonden.
De matrix komt overeen.
Maar de volgende kluwen?
Dat moet iemand anders maar uitzoeken.
