Reflections on the Millennium Problems

Wiskunde is een uniek vakgebied waar een vraag die eeuwen geleden werd gesteld, vandaag de dag met absolute zekerheid kan worden beantwoord, een prestatie die onmogelijk is in de meeste andere wetenschappen. Terwijl natuurkunde en geschiedenis voortdurend verschuiven naarmate er nieuw bewijs opduikt, blijven wiskundige waarheden, eenmaal bewezen, voor altijd onveranderlijk. Deze stabiliteit stelt wiskundigen in staat om diepgaande uitdagingen te formuleren die generaties lang kunnen voortduren. In het jaar 2000 identificeerde het Clay Mathematics Institute zeven van de moeilijkste onopgeloste problemen in het vakgebied, waarbij een miljoen dollar werd geboden voor de oplossing van elk probleem. Deze problemen werden niet alleen gekozen vanwege hun moeilijkheidsgraad, maar omdat ze de sleutels leken te bevatten tot het begrijpen van alles, van de verdeling van priemgetallen tot de efficiëntie van computers en het gedrag van vloeistoffen. Decennialang werden deze puzzels beschouwd als poortwachters naar praktische doorbraken, met de overtuiging dat het oplossen ervan technologie en wetenschap onmiddellijk zou revolutioneren. Een recente reflectie op drie van deze beroemde uitdagingen suggereert echter dat het verhaal subtieler is dan oorspronkelijk gedacht.

De auteur, een wiskundige die het vakgebied vanuit een uniek perspectief observeert, betoogt dat hoewel deze drie problemen nog steeds onopgelost zijn, de aard ervan het afgelopen eeuw stilletjes is veranderd. Ze zijn verschoven van het worden gezien als urgente praktische hindernissen naar diepe, abstracte academische uitdagingen. De oorspronkelijke hoop was dat het kraken van deze codes directe, tastbare voordelen voor de echte wereld zou opleveren. In plaats daarvan hebben de tijd en de accumulatie van onderzoek aangetoond dat de praktische gevolgen van het oplossen ervan veel minder dramatisch kunnen zijn dan ooit werd verondersteld. De problemen hebben niet aan belang ingeboet, maar de redenen waarom ze ertoe doen, zijn geëvolueerd. De auteur onderzoekt de Riemann-hypothese, de vraag of P gelijk is aan NP, en de oplosbaarheid van de Navier-Stokes-vergelijkingen om te illustreren hoe ons begrip van hun impact is gerijpt.

De eerste hiervan, de Riemann-hypothese, heeft betrekking op het patroon van priemgetallen, die de bouwstenen van de rekenkunde zijn. Al bijna tweehonderd jaar vragen wiskundigen zich af of er een verborgen orde is in de manier waarop deze getallen zijn gespreid. De hypothese suggereert een precieze regel die hun verdeling beheerst. Lange tijd werd gevreesd dat als deze regel onjuist zou zijn, de gehele structuur van de priemgetallen zou instorten in chaos, waardoor het onmogelijk zou worden om hen te voorspellen. Echter, over het afgelopen eeuw hebben onderzoekers krachtige computers gebruikt om de regel te controleren tegen biljoenen specifieke voorbeelden. Ze hebben vastgesteld dat de regel standhoudt voor meer dan twaalf biljoen gevallen. Dit enorme hoeveelheid bewijs heeft de inzet veranderd. Als de regel morgen zou falen, zou de fout die het zou introduceren zo ongelooflijk klein zijn dat deze door enige huidige technologie ondetecteerbaar zou zijn. Het falen zou niet leiden tot een instorting in de verdeling van priemgetallen zoals ooit gevreesd. In plaats daarvan ligt de opwinding nu in de nieuwe wiskundige instrumenten en theorieën die rondom het probleem zijn opgebouwd, die op zichzelf waardevol zijn, ongeacht of de oorspronkelijke regel uiteindelijk bewezen of weerlegd wordt.

De tweede uitdaging, bekend als P versus NP, gaat over de snelheid van computers. In de jaren 1970 realiseerden wetenschappers zich dat sommige problemen gemakkelijk te controleren zijn zodra een oplossing is gevonden, maar ongelooflijk moeilijk zijn om vanaf nul op te lossen. Deze werden bestempeld als "NP-complete" problemen, en men nam aan dat geen enkele computer, hoe snel ook, deze efficiënt zou kunnen oplossen. De angst was dat als deze problemen snel opgelost konden worden, het de beveiliging van het internet zou breken en elke industrie zou revolutioneren. Toch, terwijl computers miljoenen malen sneller zijn geworden, is de realiteit anders geweest. Hoewel de worst-case scenario's voor deze problemen theoretisch moeilijk blijven, blijken veel praktijkgevallen verrassend gemakkelijk op te lossen. Ingenieurs hebben slimme methoden en benaderingen ontwikkeld waarmee ze massieve versies van deze problemen in een redelijke tijd kunnen oplossen. De kloof tussen de theoretische moeilijkheid en de praktische eenvoud is vergroot. Het probleem blijft een centrale pijler van de informatica-theorie, die ons begrip van complexiteit organiseert, maar de paniek dat het alle moeilijke problemen direct oplosbaar zou maken, is vervaagd. De focus is verschoven naar het begrijpen van waarom sommige moeilijke problemen in de praktijk gemakkelijk zijn, in plaats van te wachten op een enkele doorbraak die ze allemaal oplost.

Het derde kwestie betreft de Navier-Stokes-vergelijkingen, die beschrijven hoe vloeistoffen zoals water en lucht bewegen. Deze vergelijkingen vormen de basis van aerodynamica en weersvoorspelling, maar wiskundigen zijn er nog nooit in geslaagd te bewijzen dat ze altijd een vloeiend, voorspelbaar antwoord produceren. Er was een aanhoudende angst dat de vergelijkingen onder bepaalde omstandigheden zouden kunnen bezwijken, wat een plotselinge, oneindige piek in snelheid of druk zou creëren — een singulariteit — die de wetten van de fysica ongeldig zou maken. Dit zou impliceren dat onze modellen van vloeistofstroming fundamenteel gebrekkig zijn. Echter, decennia van intensief onderzoek, inclusief krachtige computersimulaties, hebben gesuggereerd dat als een dergelijk bezwijken mogelijk is, dit een ongelooflijk specifieke en onnatuurlijke opstelling zou vereisen. De omstandigheden die nodig zijn om een singulariteit te triggeren, lijken zo precies en onstabiel dat ze in de echte wereld waarschijnlijk nooit zouden voorkomen. Het onderzoek heeft de mogelijkheid niet volledig uitgesloten, maar heeft het scenario minder een bedreiging voor de fysica en meer een theoretische curiositeit gemaakt. De echte uitdaging is nu niet noodzakelijkerwijs om de vergelijkingen te repareren, maar om te begrijpen waarom de potentiële bezwijkingen zo weinig effect hebben op de vloeistoffen die we daadwerkelijk observeren.

De overkoepelende conclusie is dat deze drie grote uitdagingen in de loop van de decennia theoretischer en minder praktisch zijn geworden. Ze zijn niet opgelost, maar de urgentie van hun oorspronkelijke praktische implicaties is afgenomen. De Riemann-hypothese gaat minder over het voorkomen van een instorting in de priemgetallen en meer over het rijke wiskundige landschap dat het heeft geïnspireerd. De P versus NP-vraag gaat minder over een plotselinge computerrevolutie en meer over de genuanceerde realiteit van hoe algoritmen in de echte wereld presteren. Het Navier-Stokes-probleem gaat minder over een fundamenteel gebrek in de fluïdummechanica en meer over de extreme zeldzaamheid van de omstandigheden die een bezwijken kunnen veroorzaken. De auteur suggereert dat problemen die zo lang een oplossing weerstaan, als neutrino's kunnen zijn, deeltjes die door materie heen gaan zonder interactie te hebben. Ze zijn vloeiend en ongrijpbaar, ze glijden zowel door onze theorieën als door onze praktische toepassingen. Hoewel de uiteindelijke oplossing van een van deze problemen een historische gebeurtenis zal zijn, zal de impact waarschijnlijk merkbaar zijn in de nieuwe theorieën en methoden die onderweg zijn ontwikkeld, in plaats van in de onmiddellijke, wereldveranderende toepassingen die ooit werden verwacht. De reis om ze op te lossen is even waardevol gebleken als de bestemming.