Wiskundig vermoeden: waarom wiskundigen soms decennia lang gelijk hopen te krijgen
Een wiskundig vermoeden is een bewering waarvan wiskundigen sterk vermoeden dat ze waar is, maar die nog niet sluitend is bewezen. Het verschil met een gewone gok is dat een vermoeden stevig onderbouwd is: het klopt in honderden, duizenden of zelfs miljarden geteste gevallen, en het past logisch bij andere dingen die we al wel zeker weten. Toch telt in de wiskunde alleen een waterdicht, stap-voor-stap bewijs als definitief bewijs van waarheid.
Vergelijk het met een rechercheur die een verdachte heeft met motief, vingerafdrukken op de plaats delict en een ontbrekend alibi. Alle aanwijzingen wijzen in dezelfde richting, en iedereen in het team is ervan overtuigd wie de dader is. Toch is er, zonder bekentenis of doorslaggevend forensisch bewijs, formeel nog geen schuld vastgesteld. Zo kan een wiskundig vermoeden decennia- of eeuwenlang 'de hoofdverdachte' blijven zonder dat het officieel 'bewezen' heet.
Wat is het precies?
Vermoedens ontstaan meestal doordat een wiskundige een patroon ontdekt. Bijvoorbeeld: als je een rij getallen bestudeert en een eigenschap steeds weer terugkomt, ontstaat het idee dat die eigenschap misschien altijd geldt. De volgende stap is die observatie om te zetten in een precieze, ondubbelzinnige bewering: niet 'dit lijkt vaak te kloppen', maar een scherp geformuleerde zin die ofwel waar ofwel onwaar is, zonder ruimte voor interpretatie.
Daarna wordt het vermoeden getest. Wiskundigen proberen tegenvoorbeelden te vinden, en steeds vaker gebeurt dat met computers die het vermoeden controleren voor enorme aantallen gevallen. Maar hoe indrukwekkend dat ook klinkt, het is geen bewijs. Een vermoeden kan correct zijn voor de eerste miljard getallen en toch fout blijken bij getal miljard-en-één. De geschiedenis van de wiskunde kent voorbeelden waarbij een patroon pas na extreem grote getallen instortte.
Het enige wat in de wiskunde telt als definitief bewijs, is een deductieve redenering: een reeks logische stappen die begint bij afspraken die als waar worden aangenomen (axioma's) en bij al bewezen uitspraken (stellingen), en die zonder gaten naar de conclusie toe redeneert. Zodra zo'n bewijs bestaat en door andere wiskundigen is gecontroleerd, verandert het vermoeden van status: het wordt een stelling. Een lemma is trouwens een kleinere, ondersteunende stelling die vaak als hulpmiddel dient om een grotere stelling te bewijzen.
Wat wil men ermee bereiken?
Het oplossen van vermoedens drijft een groot deel van het fundamentele wiskundige onderzoek. Vaak gaat het niet om directe toepassingen, maar om het dieper begrijpen van de structuur van getallen, meetkunde of logica zelf. Een opgelost vermoeden levert vaak nieuwe technieken op die wiskundigen daarna op heel andere problemen kunnen toepassen.
Er is ook een financiële prikkel. Het Clay Mathematics Institute, een Amerikaanse onderzoeksstichting, loofde in het jaar 2000 een miljoen dollar uit voor het oplossen van elk van zeven zogeheten Millennium Prize Problems: zeven van de belangrijkste onopgeloste vragen in de wiskunde. Tot nu toe is slechts één van de zeven daadwerkelijk opgelost.
Daarnaast hebben sommige vermoedens directe praktische gevolgen. Vermoedens over de verdeling van priemgetallen (getallen die alleen deelbaar zijn door 1 en zichzelf) raken bijvoorbeeld aan cryptografie, de techniek die onze online bankzaken en versleutelde communicatie beveiligt. Vermoedens over rekencomplexiteit raken aan de vraag hoe snel computers bepaalde problemen in principe kunnen oplossen.
Voorbeelden uit de praktijk
De Laatste Stelling van Fermat werd in 1637 geformuleerd door de Franse wiskundige Pierre de Fermat, die beweerde een bewijs te hebben maar dit nooit opschreef. Pas in 1994 leverde de Britse wiskundige Andrew Wiles een volledig bewijs, 358 jaar later. Het vermoeden was daarmee zo lang onopgelost dat het bijna synoniem werd met 'onoplosbaar'.
Het vermoeden van Poincaré, geformuleerd in 1904 door de Franse wiskundige Henri Poincaré, gaat over de vorm van driedimensionale ruimtes. Het werd in 2002-2003 bewezen door de Russische wiskundige Grigori Perelman, die daarna zowel de Fields-medaille (de belangrijkste onderscheiding in de wiskunde) als het miljoen dollar prijsgeld van het Clay Institute weigerde en zich terugtrok uit de academische wereld.
De Riemannhypothese, geformuleerd in 1859 door de Duitse wiskundige Bernhard Riemann, doet een precieze voorspelling over waar priemgetallen 'verstopt' liggen binnen de reeks van alle getallen. Ze is een van de nog openstaande Millennium Prize Problems en wordt door veel wiskundigen gezien als de belangrijkste onopgeloste vraag in hun vakgebied.
Het P versus NP-probleem, scherp geformuleerd in 1971 door computerwetenschapper Stephen Cook, vraagt of elk probleem waarvan je een oplossing snel kunt controleren, ook snel op te lossen is. Dit raakt direct aan cryptografie: veel beveiligingssystemen zijn juist veilig omdat we aannemen dat het antwoord 'nee' is. Een bewijs van het tegendeel zou grote delen van de digitale beveiliging op losse schroeven zetten.
Het ABC-vermoeden, over relaties tussen optellen en vermenigvuldigen van getallen, kreeg in 2012 een beweerd bewijs van de Japanse wiskundige Shinichi Mochizuki. Zijn bewijs is honderden pagina's lang en gebruikt wiskundige technieken die hij zelf ontwikkelde. Een deel van de wiskundige gemeenschap accepteert het bewijs niet, omdat cruciale stappen onvoldoende navolgbaar zouden zijn. Het geschil loopt tot op vandaag door.
Hoe ver is de techniek?
De meeste grote vermoedens blijven tientallen tot honderden jaren onopgelost. Vooruitgang komt met schokken: lange stiltes, af en toe onderbroken door een doorbraak waarbij iemand een geheel nieuwe aanpak vindt. Er is dus geen voorspelbaar tempo waarmee 'het volgende vermoeden' valt.
Wel veranderen de gereedschappen. Formele verificatiesystemen zoals Lean en Coq zijn computerprogramma's waarmee een bewijs regel voor regel mechanisch gecontroleerd kan worden op logische fouten, zodat menselijke beoordelaars niet meer alles met de hand hoeven na te lopen. Dit wordt steeds vaker gebruikt bij lange, foutgevoelige bewijzen.
Ook kunstmatige intelligentie dringt het vakgebied binnen. Google DeepMind presenteerde in 2024 de systemen AlphaProof en AlphaGeometry, die wiskundeopgaven op olympiadeniveau konden oplossen, een niveau dat vergelijkbaar is met de prestaties van talentvolle middelbare scholieren in internationale wiskundewedstrijden. Dat is indrukwekkend, maar nog altijd een andere orde van grootte dan het oplossen van een eeuwenoud onopgelost vermoeden.
Grootschalige computerchecks blijven ondertussen een belangrijk, maar beperkt hulpmiddel. Het Collatz-vermoeden, een eenvoudig te begrijpen maar hardnekkig probleem over het herhaald halveren en vermenigvuldigen van getallen, is inmiddels gecontroleerd tot ver voorbij astronomische grenzen zonder tegenvoorbeeld. Dat vergroot het vertrouwen, maar bewijst volgens de regels van de wiskunde niets: er blijft in theorie altijd een groter getal waarbij het alsnog fout zou kunnen gaan.
Wie werken eraan?
Het Clay Mathematics Institute speelt een centrale rol door de Millennium Prize Problems te beheren en te bepalen of ingediende bewijzen standhouden. Grote onderzoeksinstituten zoals het Institute for Advanced Study in Princeton, en universiteiten als Oxford, Cambridge en MIT, huisvesten veel van de wiskundigen die aan dit soort problemen werken.
Veel vooruitgang komt niet van grote teams, maar van individuele wiskundigen die jarenlang, soms in relatieve afzondering, aan één probleem werken, zoals Wiles en Perelman deden. Daarnaast bestaan er ook meer open, collaboratieve projecten: het Polymath Project, mede opgezet door de Australisch-Amerikaanse wiskundige Terence Tao, laat wiskundigen wereldwijd online samenwerken aan specifieke deelproblemen.
Recent mengen ook technologiebedrijven zich in het veld. Onderzoeksafdelingen van AI-labs zoals Google DeepMind investeren in systemen die wiskundig redeneren ondersteunen of automatiseren, als onderdeel van bredere onderzoekslijnen naar machine-redeneren.