Slechts één dag nadat OpenAI zijn krachtigste model algemeen beschikbaar heeft gemaakt, zegt het bedrijf dat het systeem een ​​volledig bewijs heeft geleverd van het Cycle Double Cover Conjecture – een gevierd open probleem in de grafentheorie dat wiskundigen al ongeveer een halve eeuw tegenhoudt.

OpenAI-onderzoeker Ethan Knight maakte het resultaat op 10 juli 2026 bekend en postte dat GPT-5.6 Sol Ultra "in iets minder dan een uur een bewijs produceerde van het 50 jaar oude Cycle Double Cover Conjecture met behulp van 64 subagenten." De bewering bereikte snel de top van Hacker News en trok honderden commentaren van wiskundigen en ingenieurs die debatteerden over de vraag of het bewijs stand houdt.

Voor iedereen die de nieuwste AI-ontwikkelingen volgt, is het resultaat een opvallende demonstratie van waar grensmodellen naartoe gaan – en een herinnering dat hun wiskundige beweringen nog steeds op de ouderwetse manier moeten worden gecontroleerd.

Wat is het vermoeden van dubbele dekking van de cyclus?

Het vermoeden bevindt zich in een tak van de wiskunde die grafentheorie wordt genoemd. In eenvoudige bewoordingen wordt een bedrieglijk eenvoudige vraag gesteld: kunnen de randen van elke 'brugloze' grafiek - een grafiek zonder rand waarvan de verwijdering hem uit elkaar zou splitsen - altijd bedekt worden door een verzameling cycli, zodat elke afzonderlijke rand precies twee keer verschijnt?

Het probleem werd in de loop der jaren onafhankelijk van elkaar gesteld door verschillende wiskundigen, waaronder Paul Seymour in 1979 en George Szekeres in 1973, met eerdere wortels in het werk van W. T. Tutte en van Alon Itai en Michael Rodeh. Ondanks de eenvoudige verklaring werd het een van de bekendste onopgeloste problemen in het veld, en gedeeltelijke resultaten waren alleen bekend voor speciale klassen grafieken.

Volgens de door OpenAI gepubliceerde bewijsnota reduceert het argument het probleem tot lusloze kubieke grafieken en leunt het vervolgens op een klassiek resultaat - de 'nero-zero flow'-stelling over de groep F32 (equivalent aan de 8-flow-stelling van Tutte) - en een belangrijke lineaire algebra-stap die een randlabeling omzet in de structuur die nodig is voor een dubbele cyclusdekking. Het artikel is slechts een paar pagina's lang en maakt met name gebruik van "geen wiskunde die in de afgelopen dertig jaar is ontwikkeld", zoals een commentator van Hacker News opmerkte.

Hoe GPT-5.6 Sol Ultra het benaderde

Wat dit resultaat onderscheidt van gewone chatbot-antwoorden, is de manier waarop het model werd ingezet. GPT-5.6 Sol Ultra draaide in de "multiagent v2"-modus van OpenAI, waardoor een systeem van maximaal 64 samenwerkende subagenten ontstond die parallel verschillende bewijsstrategieën verkenden. OpenAI heeft de volledige prompt naast het bewijs vrijgegeven en biedt een zeldzame blik op de instructies die aan het systeem zijn gegeven.

De prompt instrueerde het model om "multiagent v2 agressief en dynamisch te gebruiken", om een ​​"gediversifieerd portfolio van benaderingen" te behouden, en om tegenstanders in te zetten om elk kandidaat-bewijs te controleren op veelvoorkomende valkuilen - zoals gesloten paden die zich voordoen als cycli of onbedoelde cirkelredeneringen. Het vertelde het systeem zelfs om "hier minimaal 8 uur aan te besteden voordat je er zelfs maar aan dacht terug te keren of op te geven", hoewel de laatste run naar verluidt in minder dan een uur was voltooid.

In de sectie "Verklaring over AI-gebruik" van de proefnota is OpenAI expliciet: "Het bewijs in deze nota is volledig te danken aan GPT 5.6 Sol Ultra en de beschrijving met Codex (met GPT 5.6 Sol)."

Nog niet iedereen is overtuigd

De wiskundige gemeenschap heeft gereageerd met een mix van opwinding en voorzichtigheid – en dat scepticisme is terecht. Op het moment van publicatie is het bewijs nog niet formeel geverifieerd in een proefassistent zoals Lean, en is het ook niet door de traditionele peer review gekomen.

Op Hacker News merkten verschillende commentatoren op dat korte, elegante bewijzen van beroemde vermoedens bijzonder zorgvuldig onderzoek verdienen. "Het is een heel kort bewijs dat geen gebruik maakt van wiskunde die in de afgelopen dertig jaar is ontwikkeld", schreef een gebruiker. "Wat het niet noodzakelijkerwijs verkeerd maakt, maar bij gebrek aan mechanisatie in Lean of goede peer review, denk ik dat het voorbarig is om dit te posten."

Anderen wezen erop dat de belangrijkste formele bewijsbibliotheken van de grafentheorie nog niet volwassen genoeg zijn om dit soort resultaten op onderzoeksniveau te controleren, wat betekent dat verificatie wellicht moet komen van menselijke experts die de argumenten regel voor regel lezen. OpenAI heeft de aankondiging zelf ingekaderd als onderdeel van een breder patroon: "Meer rekenkracht op testtijden leidt tot grotere intelligentie", aldus het bedrijf, waarmee het aangeeft dat de multi-agentbenadering – en niet dit enkele resultaat – het echte verhaal is dat het wil vertellen.

Waarom het ertoe doet

Zelfs als het Cycle Double Cover-bewijs uiteindelijk gecorrigeerd moet worden, duidt de aflevering op een betekenisvolle verschuiving in wat grote taalmodellen kunnen doen in de pure wiskunde. Frontier AI-systemen hebben eerder nieuwe onderzoeksresultaten opgeleverd in gespecialiseerde domeinen – inclusief andere recente claims van opgeloste problemen in de meetkunde en combinatoriek – maar het aanvallen van een benoemd, decennia oud vermoeden met een gecoördineerde zwerm redenerende agenten legt de lat aanzienlijk hoger.

Voor onderzoekers is de conclusie tweeledig. Ten eerste lijkt het multiagent-recept – veel onafhankelijke pogingen, kruisbestuiving van ideeën en auditing door tegenstanders – een werkelijk bruikbaar sjabloon voor het oplossen van moeilijke problemen. Ten tweede ligt het knelpunt bij de verificatie nu volledig bij de mens: het model kan sneller kandidaat-bewijzen genereren dan de gemeenschap ze kan controleren.

Deze spanning zal waarschijnlijk de volgende fase van AI-ondersteunde wiskunde bepalen. Zoals een commentator het verwoordde: als dit bewijs standhoudt, "staat iemand op het punt een lijst op te stellen" van andere al lang bestaande problemen om naar de volgende generatie modellen te gooien.

Voorlopig zullen wiskundigen de aantekening van drie pagina's aandachtig lezen – met een potlood in de hand – terwijl de rest van de AI-industrie toekijkt om te zien of de urenlange inspanning van GPT-5.6 onderdeel wordt van het permanente wiskundige record.

Blijf AI een stap voor

Bezoek de AI Buzz Wire homepage voor meer informatie over doorbraken in grensverleggende modellen en de dekking van AI-onderzoek.

Lees meer AI-nieuws →