AI-tools
OpenAI publiceert wiskundige resultaten van een intern AI-model, met computercontrole van de bewijzen
OpenAI zet nieuwe wiskundige resultaten van een nog niet vrijgegeven model online, maar onafhankelijke controle van de claims ontbreekt in de bronnen.
Op basis van OpenAI en Simon Willison
Samengesteld met AI-assistentie uit de onderstaande bronnen, onder redactie van Frederiek Pascal. Hoe dit werkt
In het kort
- OpenAI publiceert op 6 oktober 2026 een brede reeks nieuwe wiskundige resultaten die een intern, nog niet vrijgegeven AI-model heeft geproduceerd.
- Veel bewijzen worden meegeleverd in Lean, een taal waarmee een computer wiskundige bewijzen kan nakijken, en OpenAI vult dat later aan.
- Een gemiddeld resultaat kostte volgens OpenAI zo'n drie uur rekenkracht, vergelijkbaar met drie uur denkwerk in ChatGPT Pro.
- OpenAI zegt het model verantwoord te willen vrijgeven, maar noemt geen datum, prijs of beschikbaarheid in Europa.
- Voor Vlaamse kmo's verandert er op korte termijn niets, maar het toont waar de betaalde AI-abonnementen van straks naartoe kunnen groeien.
OpenAI heeft op 6 oktober 2026 een reeks nieuwe wiskundige resultaten gepubliceerd die een intern AI-model zou hebben gevonden. Het gaat om een model dat het bedrijf nog niet aan het publiek geeft. De resultaten staan op GitHub, een website waar je bestanden en code openbaar kunt delen.
Wat heeft OpenAI precies gepubliceerd?
OpenAI deelt een brede reeks wiskundige resultaten, samen met bijkomende gegevens over hoe die tot stand kwamen. Daarbij zitten tien samenvattingen van de redeneringen van het model, een schatting van de gebruikte rekenkracht en statistieken over het aantal problemen dat is geprobeerd.
Dat laatste is interessant, want het zegt iets over het slagingspercentage. De cijfers zelf staan in de aangeleverde bronnen niet, dus we weten niet hoeveel pogingen er mislukt zijn. Dat is precies het soort informatie dat nodig is om de prestatie te beoordelen.
OpenAI zegt dat het gemiddelde resultaat overeenkomt met ongeveer drie uur rekenwerk, uitgedrukt in ChatGPT Pro. Dat is het betaalde abonnement van het bedrijf. Het is een eigen schatting van OpenAI, geen onafhankelijke meting.
Hoe kan iemand nagaan of de bewijzen kloppen?
OpenAI levert voor veel bewijzen een versie in Lean mee. Dat is een programmeertaal waarmee een computer stap voor stap kan controleren of een wiskundig bewijs klopt. Zo hoeft een lezer niet blind te vertrouwen op het bedrijf of op het model. Een bewijs dat Lean goedkeurt, is formeel gecontroleerd.
Het gaat wel om veel bewijzen, niet om alle. OpenAI zegt dat het de verzameling aanvult naarmate er meer formalisaties beschikbaar zijn. Voor de bewijzen zonder Lean-versie blijft menselijke controle nodig.
OpenAI zegt ook dat het advies heeft gevraagd aan een onafhankelijke adviesgroep over wiskunde en kunstmatige intelligentie van het Institute for Advanced Study. Op basis van die richtlijnen koos het bedrijf voor GitHub, met afspraken over herziene versies en hoe je ernaar verwijst. Het bedrijf onderzoekt nog of een door de wiskundegemeenschap beheerde plek beter past. Of de adviesgroep de resultaten zelf heeft nagekeken, staat niet in de bronnen.
Wanneer komt het model beschikbaar?
OpenAI zegt dat het werkt aan een verantwoorde vrijgave van het model dat deze resultaten opleverde. Een datum, een prijs of een lijst van abonnementen noemt het bedrijf niet. Ook over beschikbaarheid in Europa zeggen de bronnen niets.
Het bedrijf kondigt verder aan dat het workshops, conferenties en speciale programma’s gaat financieren rond het begrijpen van grote AI-resultaten. Details volgen later.
In de lijst met aanverwante berichten op de OpenAI-pagina staan nog een bericht over een voorgestelde oplossing voor het Navier-Stokes-probleem (8 september 2026) en een overzicht van tien doorbraken in wiskunde en theoretische informatica (1 augustus 2026). Die berichten maken geen deel uit van de aangeleverde tekst, dus we gaan er hier niet verder op in.
Wat ontbreekt er in de bronnen?
De bron is een bericht van OpenAI zelf. Een onafhankelijke beoordeling door wiskundigen ontbreekt in wat we kregen. Ook de inhoud van de resultaten, hun belang en het aantal mislukte pogingen worden niet uitgelegd.
De tweede bron, een blog van Simon Willison, gaat over iets anders: een nieuwe Python-versie. Hij vertelt terloops dat hij ChatGPT liet controleren wanneer die versie beschikbaar kwam, door elk uur een opdracht te herhalen. Voor dit verhaal is dat hooguit een illustratie van hoe mensen AI al inzetten voor kleine, herhaalde taken. Het zegt niets over de wiskundige resultaten.
Wat betekent dit voor jou
Waarom je abonnement nu niet verandert
- Kmo's met een ChatGPT-abonnement Je hoeft niets te doen. Het model is niet beschikbaar en er is geen prijs of datum, dus plan er voorlopig geen budget voor.
- Marketeers en zaakvoerders die AI-uitkomsten gebruiken Het Lean-voorbeeld laat zien dat AI-werk controleerbaar kan zijn. Vraag bij je eigen AI-gebruik ook naar bronnen en nazicht, vooral bij cijfers en juridische teksten.
Veelgestelde vragen
Wat heeft OpenAI op 6 oktober 2026 bekendgemaakt?
OpenAI heeft een brede reeks wiskundige resultaten online gezet die een intern model zou hebben gevonden. Het model is niet openbaar. Het bedrijf voegt ook samenvattingen van de redeneringen, schattingen van de rekenkracht en computergecontroleerde bewijzen toe, zodat anderen de claims kunnen toetsen.
Wat is Lean en waarom is het belangrijk?
Lean is een programmeertaal waarin een wiskundig bewijs zo wordt opgeschreven dat een computer elke stap kan nakijken. Dat maakt de controle objectiever, omdat je het bewijs niet op gezag moet aannemen. OpenAI heeft dit voor veel bewijzen gedaan, maar niet voor alle.
Kan ik dit AI-model nu gebruiken voor mijn bedrijf?
Nee, het model is voorlopig intern bij OpenAI. Het bedrijf zegt te werken aan een verantwoorde vrijgave, maar geeft geen datum, prijs of abonnement. Wat je vandaag in ChatGPT gebruikt, verandert door dit bericht niet.
Hoeveel rekenkracht kostte een resultaat?
Volgens OpenAI kwam een gemiddeld resultaat overeen met ongeveer drie uur denkwerk in ChatGPT Pro. Dat is een schatting van het bedrijf zelf. Wat dit in euro kost of hoeveel pogingen mislukten, staat niet in de aangeleverde bronnen.
Is er onafhankelijk bevestigd dat de resultaten kloppen?
In de bronnen staat daar niets over. OpenAI raadpleegde wel een adviesgroep van het Institute for Advanced Study over hoe je zulke resultaten deelt, maar dat is iets anders dan het nakijken van de inhoud. Voor een oordeel moet je op wiskundigen wachten.
Bronnen
Volg Kunstbrein in Google
Zet Kunstbrein bij je voorkeursbronnen. Dan zie je het vaker bij het nieuws bovenaan je zoekresultaten en in de AI-antwoorden van Google.
Voeg toe als voorkeursbron (opent Google in een nieuw tabblad)