OpenAI publiceerde onlangs 722 manuscripten met door AI gegenereerde oplossingen voor wiskundige vraagstukken die al lang openstaan. De artikelen werden vorige week openbaar gemaakt. Volgens wiskundigen kan het jaren duren om deze stortvloed aan resultaten te controleren. Ook vrezen ze dat het gebrek aan heldere redeneringen het lastig maakt om op het werk voort te bouwen.
Waarom de wiskundige gemeenschap twijfelt
Het AI-model waarmee de bewijzen zijn gemaakt, is niet bij naam genoemd, maar analisten proberen de beweringen nu al te controleren. Deskundigen wijzen erop dat een oplossing die rechtstreeks van een prompt naar een eindantwoord springt, zonder de tussenstappen te laten zien, weinig inzicht biedt. Zonder te weten hoe het resultaat tot stand is gekomen, kunnen onderzoekers geen nieuwe theorieën ontwikkelen of de bevindingen als basis gebruiken voor vervolgonderzoek.
Waarom het ertoe doet
Voor iedereen die afhankelijk is van wiskundig onderzoek — studenten, ingenieurs en wetenschappers — kan deze plotselinge toestroom van ongecontroleerde bewijzen de vooruitgang vertragen, omdat elk resultaat uitgebreid door mensen moet worden nagekeken. Ook roept dit vragen op over hoe door AI gegenereerde ontdekkingen vertrouwen zullen wekken en in de praktijk zullen worden gebruikt.
