25 Wiskundigen Ondertekenen Open Brief Waarin Ze AI-Labs Beschuldigen Hun Vakgebied te Bedreigen

Vijfentwintig vooraanstaande wiskundigen hebben een open brief ondertekend waarin ze AI-labs beschuldigen van het overdrijven van wat hun systemen kunnen — en daarmee de geloofwaardigheid van wiskundig onderzoek zelf ondermijnen.\n\n## Belangrijkste punten\n\n- Vijfentwintig prominente wiskundigen ondertekenden een gezamenlijke open brief waarin ze AI-labs bekritiseren voor het verkeerd voorstellen van de wiskundige mogelijkheden van AI.\n- Het conflict escaleerde nadat OpenAI beweerde dat zijn AI-agenten het Navier-Stokes Millennium Prize-probleem hadden opgelost — een bewering die onmiddellijk op weerstand van experts stuitte.\n- Wiskundigen stellen dat overdreven AI-claims het publieke vertrouwen in het vakgebied aantasten en vertekenen hoe financieringsinstanties en instellingen echte wiskundige vooruitgang beoordelen.\n- De brief vertegenwoordigt een zeldzame, gecoördineerde publieke uitdaging vanuit de academische wereld aan de marketingpraktijken van de AI-industrie.\n- Geen enkel AI-systeem is op het moment van schrijven onafhankelijk geverifieerd als oplosser van een van de zeven Millennium Prize-problemen.\n\n## De Navier-Stokes-claim die de lont ontstak\n\nDe directe aanleiding was de aankondiging van OpenAI dat zijn AI-agenten het Navier-Stokes-bestaans- en gladheidsprobleem hadden gekraakt — een van de zeven Millennium Prize-problemen, elk met een beloning van $ 1 miljoen van het Clay Mathematics Institute. De claim verspreidde zich snel. De reactie van werkende wiskundigen verspreidde zich nog sneller. Experts wezen erop dat het vermeende bewijs niet peer-reviewed was, dat cruciale stappen werden betwist en dat OpenAI de volledige afleiding niet had vrijgegeven voor onafhankelijk onderzoek. Charmloop berichtte over de eerste claim en de controverse die het veroorzaakte terwijl die zich ontvouwde.\n\nDat incident lijkt het organiserende moment voor de open brief te zijn geweest. Volgens TechCrunch stellen de ondertekenaars dat AI-labs niet slechts eerlijke fouten maken — ze overdrijven resultaten stelselmatig op manieren die het publieke begrip van wat een wiskundig bewijs inhoudt vertekenen.\n\n## Waar de wiskundigen werkelijk bezwaar tegen maken\n\nHet kernargument van de brief gaat over epistemische normen, niet over AI-scepsis in het algemeen. De ondertekenaars beweren niet dat AI geen rol heeft in de wiskunde — verscheidenen gebruiken zelf computationele hulpmiddelen. Het bezwaar is smaller en scherper: wanneer een lab een „opgelost" probleem aankondigt zonder peer-reviewed bewijs, leent het het prestige van de wiskunde terwijl het het verificatieproces omzeilt dat wiskundige resultaten hun betekenis geeft.\n\nVoor onderzoekers zijn de praktische belangen reëel. Subsidiecommissies en universitaire bestuurders citeren steeds vaker aankondigingen over AI-mogelijkheden bij beslissingen over de toewijzing van middelen. Als AI wordt gezien als het „oplossen" van problemen waaraan hele afdelingen werken, beïnvloedt die perceptie — ook als ze onjuist is — aanstellingen, financiering en het publieke argument voor de ondersteuning van menselijk wiskundig onderzoek.\n\n> „De integriteit van de wiskunde hangt af van bewijs, niet van proclamatie."\n>\n> — Ondertekenaars van de open brief, zoals gerapporteerd door TechCrunch\n\n## Waarom dit verder reikt dan de academische wereld\n\nVoor makers van AI-kunst lijkt dit conflict misschien ver weg, maar het wijst op een structureel probleem dat elk onderdeel van het AI-ecosysteem raakt: de kloof tussen wat leveranciers aankondigen en wat daadwerkelijk is gevalideerd. Dezelfde dynamiek speelt zich af bij beeldgeneratie — claims over fotorealisme, promptgetrouwheid of stijlnauwkeurigheid lopen regelmatig vooruit op wat onafhankelijke tests bevestigen. Wanneer labs de voorwaarden van hun eigen succescriteria bepalen, worden gebruikers en makers gedwongen hun verwachtingen af te stemmen op marketingteksten in plaats van op reproduceerbare benchmarks.\n\nDe brief van de wiskundigen is ongewoon omdat hij afkomstig is uit een vakgebied met uitzonderlijk duidelijke succescriteria. Een bewijs houdt stand onder kritisch onderzoek of niet. De meeste AI-mogelijkheidsdomeinen — creatieve output, redeneerqualiteit, artistieke coherentie — missen die duidelijkheid, waardoor overdreven claims van leveranciers moeilijker aan te vechten en makkelijker vol te houden zijn.\n\n## Hoe onafhankelijke verificatie er in de praktijk uitziet\n\nHet Clay Mathematics Institute, dat de Millennium Prizes beheert, heeft een eigen beoordelingsproces: een voorgestelde oplossing moet worden gepubliceerd in een peer-reviewed tijdschrift en vervolgens twee jaar lang standhouden onder kritisch onderzoek van experts voordat een prijs wordt toegekend. Geen enkel AI-gegenereerd bewijs heeft dat traject betreden voor een van de zeven problemen. Dat is het getal dat ertoe doet, en het is het getal dat doorgaans wordt begraven onder aankondigingskoppen.\n\nVoor makers die AI-tools evalueren — of het nu gaat om beeldgeneratie of een andere toepassing — is de tegenreactie van de wiskundigen een nuttige herinnering om verder te kijken dan lanceringaankondigingen en te richten op wat is getest, gerepliceerd en geverifieerd door partijen zonder belang bij de uitkomst. De open brief lost het conflict misschien niet op, maar heeft een publieke verantwoording afgedwongen waarmee de AI-industrie zelden wordt geconfronteerd vanuit een gemeenschap met zoveel technisch gezag.