Massieve vrijgave van wiskundige werken door OpenAI veroorzaakt carrièreangsten onder academische wiskundigen

In de avond van 6 oktober 2026 opende OpenAI een openbare opslagplaats met 722 wiskundige manuscripten, gegroepeerd in 372 probleemfamilies, geproduceerd door een nog niet vrijgegeven interne model, volgens het technologiemedium Unite.AI. Het bedrijf zei dat het het systeem ongeveer 4.000 open problemen had gesteld en alleen de subset publiceerde die het waardig achtte voor vrijgave, met algebra, getaltheorie, topologie, theoretische informatica en wiskundige logica.

Wat OpenAI vrijgaf

Unite.AI meldde dat de training van het interne model op 28 augustus 2026 begon, met de evaluatierun gelanceerd op 1 september. Het model produceerde naar verluidt een in Lean geformaliseerd bewijs dat zich richtte op de Navier-Stokes singulariteitvraag — één van de zeven Clay Mathematics Institute Millenniumprijzen — rond 5 september, waarbij OpenAI het resultaat op 8 september openbaar aankondigde. Het bedrijf zei dat het de bijbehorende 1 miljoen dollar prijs niet zou zoeken. Fortune meldde dat OpenAI ook gedeeltelijke vooruitgang op drie andere Millenniumprijzen in het 6-oktoberaanbod betwistte zonder ze volledig op te lossen.

Niet elk manuscript kwam met machineverificatie. Unite.AI merkte op dat veel, maar niet alle, artikelen formalisaties in de Lean-bewijsassistent includeerden, die automatisch elke logische stap controleert; ongeformaliseerde resultaten dragen een hoger risico op verborgen fouten. Fortune meldde dat OpenAI al minstens drie van de gepubliceerde oplossingen tegen 8 oktober had teruggetrokken nadat fouten waren gevonden.

Een Fields-medaillewinnaar zegt dat hij huilde

De vrijgave trof sommige onderzoekers persoonlijk. Het Franse medium SenePlus meldde dat Hugo Duminil-Copin, die in 2022 de Fields-medaille won voor werk aan faseovergangen in statistische fysica, ontdekte dat 16 van zijn eigen openonderzoeksvragen onder de problemen waren die OpenAI zei te hebben aangepakt, stellende dat het bedrijf die onderzoekslijn effectief beëindigde. Hij zei dat hij huilde tijdens de nacht van dinsdag 6 oktober tot 7 oktober, tot het punt dat hij zijn dochter wakker maakte.

Volgens SenePlus stelde Duminil-Copin zich op 8 oktober tijdens een videoconferentie georganiseerd door de Société Française de Mathématiques er tegen in dat het doel van een onderzoeker niet alleen is stellingen te bewijzen maar begrip voor andere mensen voort te brengen. Hij zei dat hij zich het meest zorgen maakte over wiskundigen in het begin van hun carrière, van wie hij vreesde dat zij het meest zouden worden getroffen wanneer de informele cultuur van het verspreiden van ideeën en gedeeltelijke resultaten tussen collega's afbreekt als wiskundigen beginnen werk achter te houden vanwege concurrentiedruk.

Wiskundigen slaan terug

De vrijgave leidde tot een openbare verklaring van de Association for Human Mathematics (AHM), een groep waarvan de Communications Working Group het op 7 oktober als gastbijdrage op het blog van wiskundige Terence Tao publiceerde. De verklaring zei dat wiskundigen deze verzameling werk niet hadden aangevraagd en dat OpenAI zich niet had gehouden aan eerdere richtlijnen van de Advisory Group on Mathematics and Artificial Intelligence, een onafhankelijk orgaan dat adviseert hoe AI-bedrijven wiskundige beweringen zouden moeten testen en publiceren, volgens de AHM-verklaring. De verklaring beschreef het vrijgeven van meer dan 700 bestanden tegelijk als een afspiegeling van de schaal van OpenAI's middelen in plaats van zorgvuldige wetenschappelijke beoordeling.

Fortune meldde dat Terence Tao, schrijvend op Mastodon, zei dat het incident het einde markeert van wat hij Math 1.0 noemde, stellende dat problemen steeds vaker door AI-gebruikers worden opgelost die geen interesse hebben in het bredere vakgebied zelf en dat de discipline meer waarde moet hechten aan presentatie en gemeenschapsbouw in plaats van alleen probleemoplossing. De wiskundige van New York University Tristan Buckmaster, die eerder zorgen over het Navier-Stokes-werk had geuit, vertelde de New York Times, zoals aangehaald door Fortune, dat hij vermoedde dat sommige van de gepubliceerde resultaten eerder werk van andere wiskundigen tot voltooiing uitbreidden zonder passende erkentenis.

De wiskundige van Columbia University Peter Woit, schrijvend op zijn blog Not Even Wrong, beschreef de vrijgave als slecht georganiseerd en zei dat OpenAI de aanbevelingen van de adviesgroep had genegeerd voordat het de verantwoordelijkheid voor het sorteren van de resultaten op de wiskundige gemeenschap zelf afschuifde. Woit identificeerde het systeem achter de artikelen als een model dat hij 'Astra' noemde. Commentatoren op zijn bericht zeiden dat veel van de door AI gegenereerde bewijzen technisch dicht waren maar weinig wiskundige intuïtie of nieuw theoretisch begrip boden, zelfs wanneer correct.

Geen nieuwe strijd

Wrijving tussen OpenAI en wiskundigen dateerde al vóór de oktobervrijgave. TechCrunch meldde dat in oktober 2025 OpenAI vice-president Kevin Weil een bewering postete — en later verwijderde — dat GPT-5 oplossingen voor 10 eerder onopgeloste Erdős-problemen had gevonden en vooruitgang op 11 anderen had gemaakt. Thomas Bloom, die de openbare Erdős-problemadatabase beheert, zei dat het frame uiterst misleidend was, stellende dat problemen die op zijn website als 'open' zijn gemarkeerd, eenvoudig betekenden dat hij zich niet bewust was van een gepubliceerde oplossing, niet dat geen bestond; hij zei dat GPT-5 bestaande referenties had gelokaliseerd die hij had gemist. OpenAI-onderzoeker Sebastien Bubeck erkende later dat het model louter bestaande oplossingen in de gepubliceerde literatuur had gelokaliseerd in plaats van nieuwe te ontdekken, hoewel hij zei dat dit nog steeds waarde had.

Aanhangers zeggen dat het vakgebied zich kan aanpassen

Niet elke wiskundige behandelde de vrijgave als een crisis. Fortune citeerde wiskundige Dan Litt van de Universiteit van Toronto die zei dat hij de ontwikkeling over het geheel positief vond voor de wiskunde, terwijl hij waarschuwde dat de maatschappij menselijke wiskundigen moet blijven financieren zodat het vakgebied geen institutionele steun verliest als gevolg. Litt merkte ook op dat OpenAI niet genoeg wiskundigen in dienst heeft om al zijn resultaten als conventionele artikelen op te schrijven, wat hij zei helpt verklaren, zonder te verontschuldigen, de schaal en snelheid van de vrijgave.

• 722 door AI gegenereerde manuscripten over 372 probleemfamilies werden op 6 oktober 2026 vrijgegeven (Unite.AI).
• OpenAI testte het model op ongeveer 4.000 openstaande problemen voordat de geselecteerde subset werd gepubliceerd (Unite.AI).
• Minstens drie gepubliceerde resultaten werden tegen 8 oktober ingetrokken nadat fouten waren gevonden (Fortune).
• Fields-medaillewinnaar Hugo Duminil-Copin zei dat 16 van zijn eigen openstaande vragen onder de behandelde problemen waren (SenePlus).
• De Association for Human Mathematics drong aan dat wiskundigen zouden stoppen met samenwerking met OpenAI (Blog van Terence Tao).