OpenAI Sluit Niet Uit Dat Uw Code Het Model Trainde

Een Negentig Jaar Oud Probleem, Opgelost in Achtentachtig Uur

Op 8 september 2026 publiceerde OpenAI een bewijs dat beweert het Navier-Stokes bestaans- en gladheidsprobleem op te lossen, een van de zeven Millennium Prize Problems waarop sinds het jaar 2000 een beloning van een miljoen dollar staat. Het probleem vraagt of een gladde driedimensionale vloeistofbeweging altijd beschreven kan worden zonder dat de vergelijkingen instorten. Het ongepubliceerde onderzoeksmodel van OpenAI, draaiend als een zwerm van tot wel 10.000 parallelle agenten, produceerde een oplossing die aantoont van niet: onder bepaalde omstandigheden trekt een draaikolk zich samen en draait steeds sneller zonder grens, een verschijnsel dat wiskundigen blowup in eindige tijd noemen, terwijl de totale energie van de vloeistof begrensd blijft. Het bedrijf besteedde daarna nog 17 uur aan het formaliseren van het argument in Lean, een taal die wordt gebruikt om wiskundige bewijzen stap voor stap machinaal te verifiëren.

OpenAI heeft expliciet gezegd het prijzengeld van het Clay Mathematics Institute niet te claimen, en externe wiskundigen moeten het bewijs nog onafhankelijk verifiëren voordat het vakgebied het als opgelost aanvaardt. Een formalisering in Lean is een sterk signaal van interne consistentie, geen vervanging voor collegiale toetsing.

Een Ruzie Over Erkenning Overschaduwt De Doorbraak

De aankondiging werd meteen overschaduwd door een publieke ruzie. Wiskundige Tristan Buckmaster van de NYU, winnaar van de Clay Research Award, zei dat hij en Anthropic-onderzoeker Levent Alpoge werkten aan nauw verwante vraagstukken in de vloeistofdynamica, en dat OpenAI een onderzoeksrichting leek te hebben gevolgd waarvan het via dat werk kennis had gekregen, nadat online geruchten circuleerden dat de modellen van Anthropic vergelijkbare problemen hadden opgelost. Buckmaster beweerde dat OpenAI-onderzoeker Sebastien Bubeck aandrong om Alpoge van het auteurschap te schrappen, juist omdat die voor een concurrent werkt, en dat toen Buckmaster dreigde de uitwisseling openbaar te maken, Bubeck vroeg waarom hij zijn carrière zou willen ruineren.

Bubeck betwistte die versie en zei nooit gevraagd te hebben om Alpoge van het auteurschap van diens eigen werk te schrappen, en dat het echte meningsverschil ging over de vraag of Buckmaster een herschrijving mocht leiden van een apart bewijs dat het eigen systeem van OpenAI had opgeleverd, iets wat volgens hem niet ondertekend zou moeten worden door een medewerker van een concurrerend lab. Los daarvan, en met meer gevolgen voor buitenstaanders, zei OpenAI geen toegang te hebben gehad tot de specifieke accountgegevens van Buckmaster of Alpoge tijdens het werk aan het bewijs, maar voegde toe niet te kunnen uitsluiten dat geanonimiseerde signalen uit het bredere Codex-gebruik, mogelijk ook van hen, hebben bijgedragen aan het trainen van het onderliggende model.

Wat Dit Betekent Als Uw Bedrijf Een AI-Codeertool Gebruikt

Niemand heeft OpenAI ervan beschuldigd de privé-bestanden van een met naam genoemde klant te hebben gelezen. Het meest concrete en nuttige feit voor een Europees bedrijf is de erkenning zelf: zelfs een bedrijf dat volhoudt niemand doelbewust te hebben benaderd, zegt niet volledig te kunnen uitsluiten dat geaggregeerde, geanonimiseerde gebruiksdata terugvloeien in de training van toekomstige modellen. Als uw ontwikkelaars Codex, Copilot of een vergelijkbare tool gebruiken voor commercieel gevoelige code, is dat de praktische vraag die u nu aan uw leverancier moet stellen, niet pas nadat een ruzie de erkenning publiekelijk afdwingt. Dat geldt voor een team in Rotterdam net zo goed als in Amsterdam.

Vraag uw AI-codeerleverancier schriftelijk drie dingen: of de prompts en de code van uw organisatie standaard worden gebruikt om het model te trainen, of een enterprise- of opt-outniveau die data echt uitsluit, en hoe zij 'geanonimiseerd' in hun eigen voorwaarden definiëren. Een doorbraakbewijs is een marketingmoment voor OpenAI. De erkenning over het datagebruik die erbij hoort, houdt langer stand dan de kop.

Servola Journal

We doen dit voor iedereen die probeert bij te blijven met wat technologie met ons leven doet. De mensen die het bouwen, en de mensen die het overkomt. Servola Journal bestaat zodat wat we leren van hen allemaal is.

Niemand betaalt ons hiervoor. Geen advertenties, geen betaalmuur, gratis voor iedereen. We geloven gewoon dat begrijpen wat er met ons allemaal gebeurt niet zou moeten afhangen van wie het zich kan veroorloven ervoor te betalen.

Als dit je vandaag iets heeft gegeven, zeg ons dan om door te gaan. Volg ons, laat een like achter, of schrijf een positieve reactie. We lezen ze allemaal, en ze zijn wat ons op de been houdt.

Lees hierna: OpenAI's agents ontsnapten maandenlang aan hun sandbox  |  Uw volgende AI-agent redeneert misschien waar niemand kan controleren