AnswersPublished18 sources
OpenAI zet wiskundigen naast zich neer, maar niet aan het stuur
OpenAI richtte een onbetaalde adviesgroep van negen wiskundigen op, ondergebracht bij het Institute for Advanced Study in Princeton. De groep adviseert over beoordeling, betekenis en communicatie van AI gegenereerde wiskundige resultaten, maar heeft geen veto over OpenAI.
Gepubliceerd doorBewerkt met GPT-5.6 TerraAfbeeldingen gegenereerd met GPT Image 2
Research answer
Key takeaways
- OpenAI richtte een onbetaalde adviesgroep van negen wiskundigen op, ondergebracht bij het Institute for Advanced Study in Princeton.
- De groep adviseert over beoordeling, betekenis en communicatie van AI gegenereerde wiskundige resultaten, maar heeft geen veto over OpenAI.
- Voor onafhankelijke acceptatie van de ruim honderd extra geclaimde resultaten blijven openbare bewijzen, Lean formaliseringen, vakinhoudelijke toetsing en duidelijke herkomstinformatie nodig.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: How has OpenAI responded to controversy over its 166-page, Lean-verified AI-generated proof that Navier–Stokes equations can form finite-tim. Article summary: OpenAI’s response is a nine-member, unpaid Advisory Group on Mathematics and Artificial Intelligence, hosted by Princeton’s Institute for Advanced Study (IAS). It is designed to advise on the evaluation and public commun. Topic tags: general, education, news, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermark
OpenAI heeft na de kritiek op zijn geclaimde Navier–Stokes-resultaat een Adviesgroep voor wiskunde en kunstmatige intelligentie ingesteld. De groep is ondergebracht bij het Institute for Advanced Study (IAS) in Princeton en moet advies geven over de beoordeling en publicatie van AI-gegenereerde wiskundige resultaten. Maar het is geen wetenschappelijk tijdschrift, geen onafhankelijke instantie die bewijzen definitief certificeert en ook geen toezichthouder op OpenAI. 33
2
Waarom deze groep er komt
Op 8 september publiceerde OpenAI een manuscript van 166 pagina’s, plus een formalisering in de bewijsassistent Lean. Volgens OpenAI toont het werk aan dat een gladde driedimensionale Navier–Stokes-stroming, onder invloed van een gladde externe kracht, in eindige tijd een singulariteit kan ontwikkelen. Het bedrijf presenteert dit als een oplossing voor het probleem over bestaan en gladheid van Navier–Stokes-oplossingen. 6
De Lean-formalisering levert een artefact op dat een computer mechanisch kan controleren; het manuscript is de uitleg voor menselijke lezers. Volgens berichtgeving kost het nog weken om het bewijs volledig te doorgronden. De adviesgroep werd juist aangekondigd na zorgen over de manier waarop grote AI-gegenereerde wiskundige claims worden beoordeeld en verspreid. 2
Daarnaast loopt er een afzonderlijk debat over erkenning en prioriteit. Tristan Buckmaster en Levent Alpöge publiceerden rond dezelfde periode Lean-geverifieerde resultaten over verwante problemen in de stromingsleer. Dat leidde tot een publiek conflict over toeschrijving. Die kwestie staat los van de vraag of OpenAI’s formele bewijs technisch controleert: het gaat om de herkomst van ideeën, toegang tot informatie en passende wetenschappelijke erkenning. 1
De negen oprichters
De eerste bezetting bestaat uit:
- François Charles
- Camillo De Lellis
- Timothy Gowers
- Martin Hairer
- Nikhil Srivastava
- Ulrike Tillmann
- Ravi Vakil
- Edward Witten
- Melanie Matchett Wood
26
De groep is ondergebracht bij IAS, maar wordt omschreven als onafhankelijk van OpenAI. 33
Wat de adviesgroep wél mag doen
Volgens OpenAI adviseert de groep over de beoordeling en communicatie van nieuwe wiskundige resultaten. Daaronder vallen de betekenis van resultaten, de gecoördineerde verspreiding ervan en relevante academische en professionele standaarden. 17
33
De aangekondigde onafhankelijkheid heeft een aantal concrete onderdelen:
- Leden krijgen geen betaling van OpenAI.
- Zij mogen ook ongevraagd advies uitbrengen.
- Zij mogen zich publiekelijk uitspreken over de invloed van OpenAI op de wiskunde.
- Zij mogen hun adviezen openbaar maken.
- Zij bepalen zelf wijzigingen in het lidmaatschap van de groep.
Dat is relevant, omdat leden OpenAI dus ook in het openbaar kunnen tegenspreken in plaats van alleen achter gesloten deuren. Hun gezag blijft echter adviserend en is niet bindend. 33
Wat de groep niet kan afdwingen
De adviesgroep heeft geen beslissingsmacht over OpenAI’s onderzoeksrichting of onderzoekstempo. OpenAI zegt expliciet dat de groep niet adviseert over de snelheid van het interne wiskundeonderzoek. 33
2
Daaruit volgt dat de groep niet zelf kan:
- een onderzoeksmededeling tegenhouden;
- OpenAI verplichten een bewijs, model of intern onderzoeksdossier vrij te geven;
- wijzigingen afdwingen in OpenAI’s publicatiestrategie;
- bepalen dat een wiskundige claim officieel door de onderzoeksgemeenschap is aanvaard;
- een eerder conflict over prioriteit of toeschrijving eigenhandig beslechten.
De kern is dus het verschil tussen aanbevelen en beslissen. De groep kan standaarden voorstellen en bezwaren naar buiten brengen, maar OpenAI houdt de controle over zijn modellen, interne processen, vrijgave van onderbouwing en de vraag of het aanbevelingen overneemt. De adviesgroep is daarmee vooral een brug tussen een AI-lab en de wiskundegemeenschap — geen vervanging voor onafhankelijke peerreview. 33
2
Onafhankelijkheid en vertegenwoordiging blijven belangrijke vragen
Het handvest geeft de groep ruimte om te spreken en te publiceren, maar de praktische invloed hangt af van de bereidheid van leden om die ruimte te benutten én van OpenAI’s bereidheid om te reageren. Juist het ontbreken van invloed op het onderzoekstempo is belangrijk, omdat snelle, publiciteitsgedreven aankondigingen centraal stonden in de kritiek op de omgang van AI-labs met wiskundige claims. 2
33
De leden hebben grote statuur, wat de groep geloofwaardigheid geeft. Toch vertegenwoordigen negen personen niet vanzelf alle betrokken perspectieven. Specialisten in formele methoden, onderzoekers uit de getroffen deelgebieden, beginnende wiskundigen en wetenschappelijke gemeenschappen buiten de instellingen van de oprichters kunnen anders denken over toetsing, toegang, erkenning en publicatienormen. Ook zijn vragen gesteld over de selectie van de leden. 37
Dat de leden onbetaald zijn, kan de afstand tot OpenAI vergroten. Tegelijk kan het de capaciteit voor langdurige, kritische toetsing beperken: die hangt af van de beschikbare tijd van de leden en van hun toegang tot het onderliggende materiaal.
Wat dit betekent voor de Navier–Stokes-claim
Een Lean-verificatie is belangrijk: zij kan mechanisch nagaan of een stelling volgt uit de formele definities, axioma’s en lemma’s die in het bewijs zijn vastgelegd. Maar een machinegecontroleerde formalisering maakt een argument niet automatisch begrijpelijk voor mensen. Ook bewijst zij niet op zichzelf dat elke modelleerkeuze precies de informele claim weergeeft, of dat het resultaat voldoende wordt uitgelegd en in context geplaatst.
De adviesgroep verandert die taakverdeling niet. Zij kan adviseren over beoordeling en communicatie; onafhankelijke wiskundigen moeten nog steeds het manuscript, de formele bestanden, de aannames en de verhouding tussen de geformuleerde stelling en het oorspronkelijke probleem onderzoeken. 33
2
Ook lost de oprichting van de groep het conflict rond de erkenning van Buckmaster niet op. Een geloofwaardige afhandeling vereist een op bewijs gebaseerd proces rond tijdlijn, bijdragen, toegang en wetenschappelijke credit — niet enkel een advies. 1
De echte test: OpenAI’s claim over meer dan 100 extra resultaten
OpenAI zegt dat een intern model meer dan 100 aanvullende open wiskundeproblemen heeft opgelost. De adviesgroep moet helpen bij een verantwoorde publicatie van zulke resultaten. 36
33
De groep kan die publicaties geloofwaardiger maken door aan te sturen op een volgorde die echte onafhankelijke beoordeling mogelijk maakt:
- Omschrijf elk probleem precies. Een openbare lijst moet onderscheid maken tussen bewezen stellingen, geclaimde oplossingen, uitbreidingen en verwante resultaten.
- Publiceer leesbaar én machinecontroleerbaar werk. Een menselijk leesbaar bewijs legt uit waarom een resultaat ertoe doet; formele bestanden maken mechanische verificatie reproduceerbaar.
- Organiseer toetsing per vakgebied. Resultaten in bijvoorbeeld stromingsleer, algebra, meetkunde of logica moeten worden beoordeeld door onderzoekers uit dat specifieke domein, niet alleen door een algemene adviesgroep.
- Leg herkomst en bijdragen vast. Duidelijke documentatie is cruciaal als prioriteit, modeltoegang of mogelijk gebruik van eerder ongepubliceerd werk ter discussie kan staan.
- Scheid ontdekking van validatie. Een AI-systeem kan een veelbelovend bewijs genereren, maar acceptatie door de gemeenschap vraagt om open onderzoek en duurzame wetenschappelijke communicatie.
De nieuwe adviesgroep is dus een betekenisvol experiment in governance, maar geen eindantwoord op de controverse. Haar waarde blijkt uit de praktijk: worden adviezen openbaar, stelt OpenAI genoeg materiaal beschikbaar voor externe controle, en krijgen beoordeling en erkenning bij volgende publicaties evenveel gewicht als de aankondiging zelf?
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI zet wiskundigen naast zich neer, maar niet aan het stuur"?
OpenAI richtte een onbetaalde adviesgroep van negen wiskundigen op, ondergebracht bij het Institute for Advanced Study in Princeton.
What are the key points to validate first?
OpenAI richtte een onbetaalde adviesgroep van negen wiskundigen op, ondergebracht bij het Institute for Advanced Study in Princeton. De groep adviseert over beoordeling, betekenis en communicatie van AI gegenereerde wiskundige resultaten, maar heeft geen veto over OpenAI.
What should I do next in practice?
Voor onafhankelijke acceptatie van de ruim honderd extra geclaimde resultaten blijven openbare bewijzen, Lean formaliseringen, vakinhoudelijke toetsing en duidelijke herkomstinformatie nodig.