---
title: "AI claimt bewijs van 50 jaar oud wiskundevermoeden"
date: 2026-07-11
author: "Daan Koster"
featured_image: "https://watisai.nl/wp-content/uploads/2026/07/hero-1.webp"
categories:
  - name: "AI nieuws"
    url: "/category/ai-nieuws.md"
---

# AI claimt bewijs van 50 jaar oud wiskundevermoeden

**TL;DR: OpenAI meldde op 10 juli dat zijn nieuwste model, GPT-5.6 Sol Ultra, een bewijs heeft geproduceerd van de Cycle Double Cover-conjecture — een wiskundevermoeden dat ruim vijftig jaar openstond. Het bewijs is drie pagina’s lang, openbaar, en werd volgens OpenAI in minder dan een uur gevonden door 64 samenwerkende AI-agents. Eén ding is nog niet gebeurd: onafhankelijke wiskundigen hebben het bewijs nog niet formeel goedgekeurd. Tot die tijd is dit een claim, geen feit.**

## Wat er precies gebeurde

Op 10 juli 2026 plaatste OpenAI-onderzoeker Ethan Knight een bericht op X: het bedrijf had een dag eerder GPT-5.6 Sol Ultra beschikbaar gemaakt, en dat model zou meteen iets bijzonders hebben gedaan. Het produceerde een bewijs van de Cycle Double Cover-conjecture, met 64 parallelle agents, in net geen uur. OpenAI publiceerde [het volledige bewijs](https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf) én [de exacte opdracht](https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_prompt.pdf) die het model kreeg. Het bericht haalde binnen een dag 1,4 miljoen weergaven.

Dat OpenAI de opdracht en het bewijs allebei openbaar maakt, is opvallend. Bij eerdere aankondigingen van AI-labs moest je het doen met een persbericht. Nu kan iedereen — jij ook — het document van drie pagina’s zelf openen.

## Wat is die Cycle Double Cover-conjecture eigenlijk?

Je hoeft geen wiskundige te zijn om het idee te snappen. Stel je een netwerk voor van punten en verbindingen — zeg: rotondes en wegen. Het vermoeden zegt: zolang er geen “brug” in het netwerk zit (een weg die als enige twee delen verbindt), kun je altijd een verzameling rondritten uitstippelen zó dat elke weg in precies twee rondritten voorkomt. Niet één keer, niet drie keer: exact twee keer.

Klinkt overzichtelijk, maar het probleem hield stand sinds de jaren zeventig. De Hongaars-Australische wiskundige George Szekeres formuleerde het in 1973, Paul Seymour deed dat onafhankelijk in 1979, en ook grootheden als W.T. Tutte werkten eraan. Voor allerlei speciale gevallen was het vermoeden al bewezen — voor platte (planaire) netwerken bijvoorbeeld — maar het algemene geval bleef open. Generaties wiskundigen beten er hun tanden op stuk.

## Hoe het model het aanpakte

Het gepubliceerde bewijs is kort en gebruikt gereedschap dat al bestond: een beroemde stelling uit 1975-1976 (het “8-flow theorem” van Kilpatrick en Jaeger) plus een slimme herformulering die het probleem terugbrengt tot een som in de lineaire algebra — het soort wiskunde dat een student in het eerste jaar leert. De verrassing zit niet in exotische nieuwe technieken, maar in de combinatie: een route die blijkbaar niemand eerder zo had gezien.

Minstens zo interessant is hóe het bewijs tot stand kwam. OpenAI zette 64 [taalmodel](https://watisai.nl/large-language-models/)-agents tegelijk aan het werk, elk met een andere aanpak. Andere agents hadden als enige taak: gaten schieten in kandidaat-bewijzen. Pas als een bewijs die aanvallen overleefde, mocht het systeem het inleveren. In de opdracht stond zelfs letterlijk dat het model niet mocht terugkomen met “een goede poging” — alleen een compleet bewijs telde.

## Waarom je nog even niet “bewezen” mag zeggen

Hier wordt het verhaal volwassener dan de jubelende krantenkoppen. Een wiskundig bewijs is pas een bewijs als vakgenoten het onafhankelijk hebben gecontroleerd. Dat proces — peer review — is bij dit resultaat nog niet afgerond. Er is meer reden tot voorzichtigheid:

- Juist déze conjecture heeft een geschiedenis van bewijzen die later sneuvelden. Er zijn eerder papers verschenen die een bewijs claimden en later werden teruggetrokken toen iemand een gat vond.
- Het bewijs is niet formeel geverifieerd met een computerprogramma zoals Lean, dat elke logische stap machinaal narekent. Bij eerdere AI-wiskunderesultaten was zo’n formele check juist het sluitstuk.
- AI-labs hebben op dit vlak een reputatie te herstellen. In oktober 2025 claimden OpenAI-medewerkers dat GPT-5 meerdere open problemen van de wiskundige Paul Erdős had “opgelost” — tot bleek dat de oplossingen al jaren in de literatuur stonden. Het model had ze niet bewezen, maar teruggevonden. De claim werd binnen een dag ingetrokken.

Dat laatste scenario ligt hier trouwens minder voor de hand: een compleet bewijs van precies dit beroemde vermoeden zou in de literatuur allang wereldnieuws zijn geweest. Maar een subtiele denkfout in stap vier van een dichtbeschreven pagina — dat gebeurt de beste wiskundigen, en dus mogelijk ook de beste modellen.

## Het grotere verhaal: AI schuift op van rekenen naar redeneren

Los van de vraag of dit specifieke bewijs standhoudt, past de aankondiging in een duidelijke lijn. In december 2023 vond DeepMinds FunSearch nieuwe constructies voor een open combinatoriekprobleem. In juli 2024 haalde AlphaProof zilverniveau op de Internationale Wiskunde Olympiade; in 2025 haalden meerdere labs daar goudniveau. En nu richten de labs zich op échte open problemen — vraagstukken waar geen antwoordmodel van bestaat.

Wiskunde is voor AI-labs de perfecte etalage. Een bewijs is óf goed óf fout; er valt niets te marketen aan een kloppend bewijs. Precies daarom kiezen labs dit strijdtoneel: wie hier scoort, kan niet van overdrijven worden beticht. Mits het bewijs standhoudt, natuurlijk.

Wil je eerst beter begrijpen wat zo’n model eigenlijk is en waarom het dit soort taken aankan (en waar het faalt)? Lees dan onze uitleg over [wat AI is](https://watisai.nl/wat-is-ai/) en [hoe AI werkt](https://watisai.nl/hoe-werkt-ai/).

## Wat we (nog) niet zeker weten

- Of het bewijs klopt. Wiskundigen lezen het nu publiekelijk mee; een formeel oordeel is er niet.
- Hoeveel rekenkracht dit kostte. “Eén uur met 64 agents” zegt niets over de prijs; critici schatten dat een gewone gebruiker dit niet zomaar reproduceert.
- Hoeveel mensenwerk in de opgeschreven versie zit. OpenAI meldt dat het bewijs “volledig” van het model komt en de tekst met hulp van een tweede model is opgeschreven — maar hoeveel redactie daartussen zat, weten we niet.
- Of het model dit vaker kan, of dat dit een gelukstreffer was uit vele stille mislukkingen.

## Wat dit voor jou betekent

Voor je dagelijkse gebruik van ChatGPT of een andere assistent verandert er vandaag niets — dit soort resultaten komt uit een orkest van agents dat uren zelfstandig doorwerkt, niet uit één chatvenster. Wat je er wél uit kunt meenemen: de sprong zit niet in een slimmer los model, maar in organisatie. Vele pogingen parallel, streng tegenspreken, alleen het beste inleveren. Dat recept werkt in het klein ook voor jou: vraag een model om drie verschillende aanpakken, laat het zijn eigen antwoord aanvallen, en accepteer geen halve conclusies. Welke tools daarvoor geschikt zijn, zie je in ons overzicht van [AI-tools](https://watisai.nl/ai-tools/).

## Mijn oordeel

Ik geef deze claim het voordeel van de twijfel, met de nadruk op twijfel. Het bewijs is kort, leesbaar en gebouwd op degelijk bestaand gereedschap — precies het soort bewijs dat snel te controleren valt, en juist dat maakt de publicatie geloofwaardig als gebaar. Was het flinterdun bluf geweest, dan had OpenAI het niet zo makkelijk controleerbaar gemaakt. Maar na het Erdős-debacle van vorig jaar geldt: gejuicht wordt er pas als de vakgenoten klaar zijn met lezen. Als dit bewijs standhoudt, is 10 juli 2026 de dag waarop AI voor het eerst aantoonbaar een beroemd open wiskundeprobleem kraakte. Dat zou geen hype zijn, maar geschiedenis.