# OpenAI geeft wiskundige AI-claims vrij voor controle De collectie van 6 oktober geeft onderzoekers en gevorderde studenten toegang tot manuscripten en bewijsbestanden. Het gebruikte model blijft gesloten; onafhankelijke beoordeling blijft nodig. - Canonieke URL: https://nxtnews.nl/artikel/openai-geeft-wiskundige-ai-claims-vrij-voor-controle - Gepubliceerd: 2026-10-07T06:36:51Z - Rubriek: Tech - Uitgever: Nxt Door Tim Bouchratan ![Conceptuele illustratie van een student die wiskundig onderzoeksmateriaal bestudeert.](https://nxtnews.nl/web/images/nxt-b3dc8bd74a705a61fe41.jpg) AI-illustratie · Nxt Generation News · Geen foto van de beschreven gebeurtenis. OpenAI heeft op 6 oktober een verzameling wiskundige manuscripten van een intern AI-model openbaar gemaakt. Onderzoekers en gevorderde studenten in Nederland en België kunnen daardoor de argumenten zelf lezen en proberen te controleren, zonder toegang tot dat model. De aankondiging opent het onderzoeksmateriaal; het bedrijf heeft het gebruikte model nog niet voor het publiek vrijgegeven. Bronnen bij deze passage: [1. OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/) De collectie telt volgens de bijbehorende toelichting 722 manuscripten, verdeeld over 372 groepen van verwante resultaten. Binnen één groep kunnen ook vervolgargumenten of alternatieve bewijzen zitten. Het zijn dus geen 722 afzonderlijk bevestigde ontdekkingen. De bestanden bevinden zich bovendien in verschillende stadia van controle. OpenAI erkent dat sommige resultaten zonder formeel gecontroleerd bewijs problemen kunnen bevatten en belooft correcties als nieuwe versies te bewaren, met toegang tot de oudere versies. Bronnen bij deze passage: [2. OpenAI research repository](https://raw.githubusercontent.com/openai/math/main/README.md) ## Wat je nu kunt bekijken Wie een mogelijk bruikbaar resultaat zoekt voor een studie of onderzoek, kan vanuit de openbare catalogus naar het bijbehorende manuscript doorklikken. Die catalogus is ingedeeld naar vakgebied, van getaltheorie tot wiskundige natuurkunde. De volgorde zegt volgens de catalogus niets over kwaliteit of belang. Een hoge positie in de lijst is dus geen aanbeveling. Bronnen bij deze passage: [5. OpenAI research catalog](https://raw.githubusercontent.com/openai/math/main/overview.tex) Een deel van het materiaal is geschreven voor Lean, software die nauwkeurig vastgelegde bewijzen kan controleren. Volgens de documentatie moet iedere stap worden gerechtvaardigd vanuit eerdere definities, stellingen en basisregels. Dat geeft onderzoekers meer houvast dan alleen een overtuigend klinkende tekst: zij krijgen een uitgewerkte redenering die ook aan andere controlesystemen kan worden doorgegeven. Die controle vraagt nog steeds kennis van de gebruikte wiskunde. Bronnen bij deze passage: [4. Lean project](https://lean-lang.org/theorem_proving_in_lean4/Introduction/) ## Geen snellere ChatGPT beloofd Ook de genoemde rekentijd vraagt uitleg. Volgens OpenAI kostte een resultaat gemiddeld het equivalent van drie uur ChatGPT Pro-denkwerk, uitgevoerd met het niet vrijgegeven interne model. Dat zegt niet dat jouw ChatGPT-abonnement dezelfde problemen in drie uur oplost. Het beschrijft de ingezette rekeninspanning met een ander model, geen garantie over een beschikbaar consumentenproduct. Bronnen bij deze passage: [2. OpenAI research repository](https://raw.githubusercontent.com/openai/math/main/README.md) OpenAI zegt voor de publicatie overleg te hebben gevoerd met een onafhankelijke wiskundige adviesgroep. Haar aanbevelingen van 29 september geven onderzoekers echter geen reden om de resultaten zonder meer over te nemen. De groep vraagt expliciet om te stoppen met het testen van geavanceerde wiskunde op gesloten modellen. Zij waarschuwt voor een tweedeling waarbij bedrijven met zulke modellen de rest van de wetenschappelijke gemeenschap achter zich laten. Bronnen bij deze passage: [1. OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/) · [3. Advisory Group Math + AI](https://agmai.org/general-sep29/) De groep maakt bovendien onderscheid tussen werk dat een wiskundige begrijpt en materiaal dat nog niemand volledig doorgrondt. In het eerste geval horen publicatie, beoordeling door vakgenoten en uitleg aan collega's bij de normale wetenschappelijke route. In het tweede geval moeten AI-bedrijven volgens de groep ook het ontwikkelen van menselijk begrip ondersteunen. Beslissingen over die ondersteuning moeten bij bestaande, onafhankelijke instellingen liggen. Geld aannemen betekent volgens de aanbevelingen geen instemming met de werkwijze van het bedrijf. Bronnen bij deze passage: [3. Advisory Group Math + AI](https://agmai.org/general-sep29/) OpenAI belooft geld voor workshops en conferenties om belangrijke AI-resultaten te begrijpen; meer informatie volgt later. Wie een onderzoeks- of studieproject voorbereidt, kan intussen de openbare argumenten bestuderen. Het bedrijf geeft nog geen toegang tot het model dat ze produceerde. Bronnen bij deze passage: [1. OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/) · [2. OpenAI research repository](https://raw.githubusercontent.com/openai/math/main/README.md) ## Verdieping: Hoe de controle is vastgelegd De openbare bestanden koppelen manuscripten aan formele bewijzen; die koppeling is geen onafhankelijke beoordeling. Bij de vrijgegeven bestanden staat een lijst die manuscripten aan hun formele bewijzen en controle-instellingen koppelt. Het veld voor de beoordelingsstatus vermeldt ‘unchecked’, oftewel niet beoordeeld. Nxt heeft deze bewijzen niet zelf uitgevoerd. De aanwezigheid van controlebestanden wordt hier daarom niet als onafhankelijke goedkeuring van de hele verzameling gepresenteerd. Bronnen bij deze passage: [6. OpenAI proof metadata](https://raw.githubusercontent.com/openai/math/main/lean/formalization.yaml) ## Bronnen - [1. OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/) - [2. OpenAI research repository](https://raw.githubusercontent.com/openai/math/main/README.md) - [3. Advisory Group Math + AI](https://agmai.org/general-sep29/) - [4. Lean project](https://lean-lang.org/theorem_proving_in_lean4/Introduction/) - [5. OpenAI research catalog](https://raw.githubusercontent.com/openai/math/main/overview.tex) - [6. OpenAI proof metadata](https://raw.githubusercontent.com/openai/math/main/lean/formalization.yaml) [Bronnen en werkwijze](https://nxtnews.nl/bronnen#werkwijze)