Een lege keukentafel, ochtendlicht valt op een open notitieboek. De pagina’s staan vol mysterieuze symbolen, pijlen en getallen. Sinds kort wordt dit vertrouwde beeld opgeschud: niet alleen mensen buigen zich over wiskundige raadsels. In stilte schuift kunstmatige intelligentie aan tafel, waardoor vraag en uitdaging plots veranderen.
De sprong van conjectuur naar stelling
Een conjectuur houdt wiskundigen al generaties bezig. Het is niet meer dan een vermoeden, geboren uit herhalende patronen en schijnbaar betrouwbare voorbeelden. Zo’n uitspraak blijft zweven boven het papier, tot iemand de ontbrekende schakel vindt: het bewijs. Op dat moment verandert een conjectuur in een officieel theorema, en krijgt het een vaste plek in de wiskundige literatuur.
ChatGPT als creatieve partner
Waar het traditionele beeld van de werkkamer doet denken aan eenzame nachten vol nadenken en schrappen, komt nu ChatGPT in beeld. Niet simpelweg als rekenhulp, maar als een model dat zelfstandig structuren voor bewijzen kan schetsen. In een recente casestudy rond een nieuwe conjectuur uit 2024 wisten onderzoekers een doorbraak te bereiken: de AI verzorgde, met minimale menselijke sturing, het skelet van een origineel bewijs.
Vibe-proving: abstracte ideeën structureren
Deze aanpak wordt nu vibe-proving genoemd. In plaats van alleen voorbeelden op te sommen, gebruikt een LLM dezelfde flexibiliteit als bij programmeertaken: variëren, combineren, aftasten. Tijdens zeven digitale sessies en vier versies van het bewijs kwamen nieuwe stappen aan het licht—en werden losse eindjes samen geknoopt tot een werkend geheel.
Samenwerking en grenzen
Toch blijft de menselijke rol onmisbaar. Wiskundigen nemen het stokje over zodra logische hobbels of controlestappen opduiken. Zij beoordelen of de argumentatie overeind blijft en dichten waar nodig hiaten. Want hoewel ChatGPT creatieve sprongen maakt, is de definitieve verificatie mensenwerk—een taak die tijd, oog voor detail en kritische afstand vraagt.
Toekomstige impact en voorzichtigheid
Deze technologie belooft sneller nieuwe wiskundige inzichten te ontsluiten. Maar de snelheid van formuleren legt de nadruk steeds meer op het afwerken, controleren en uitleggen van bewijzen. Er ontstaat ruimte voor originele ideeën, maar met het risico dat diepgaand begrip van kernbegrippen onder druk komt te staan wanneer menselijke reflectie wordt overgeslagen.
In het licht hiervan tekent zich een nieuw evenwicht af: kunstmatige intelligentie als motor voor vernieuwing, gestuurd en geborgd door menselijk toezicht. Zo blijft de kunst van het bewijzen herkenbaar in een snel veranderend wetenschappelijk landschap.
