NRC Onbehaarde Apen Zal AI ooit de grootste wiskundige problemen oplossen?
27 snips
Jun 25, 2025 In deze discussie zijn Alex van den Brandhof, wetenschapsjournalist en wiskundige, en Ellen de Bruin, redacteur gespecialiseerd in psychologie en huisdieren, te gast. Ze verkennen hoe kunstmatige intelligentie, zoals Alpha Evolve, wiskundige problemen kan oplossen. Er wordt gekeken naar de evolutie van AI in de wiskunde en de beperkingen van systemen zoals ChatGPT. Ook wordt de impact van AI op abstracte wiskundige vragen en recente ontwikkelingen in computergegenereerde bewijzen besproken, waardoor het vertrouwen in deze technologie groeit.
AI Snips
Chapters
Transcript
Episode notes
Beperkingen van ChatGPT in wiskunde
- ChatGPT is niet speciaal gemaakt voor wiskunde en maakt vaak fouten bij complexe berekeningen.
- Voor echte wiskundige rekenkracht wordt vaak een computeralgebra-systeem zoals Wolfram Alpha ingezet.
Vierkleurenprobleem met computers
- Het vierkleurenprobleem was een van de eerste bewijzen waarbij computers intensief werden ingezet.
- Wiskundigen Apple en Haken gebruikten computers om duizenden gevallen door te rekenen voor een ongerijmtheidsbewijs.
Controverse rond computerbewijzen
- Het bewijs van het vierkleurenprobleem veroorzaakte controverse omdat niemand alle computerberekeningen kon controleren.
- Dit leidde tot discussie over wat een wiskundig bewijs eigenlijk moet zijn.