Zal AI ooit de grootste wiskundige problemen oplossen?
NRC Onbehaarde Apen
00:00
AI in Wiskunde: Ontwikkelingen en Geschiedenis
Dit hoofdstuk behandelt de recente ontwikkelingen van AI-systemen in de wiskunde, waaronder Alpha Evolve en Alpha Proof, en hun invloed op wiskundig onderzoek. Het bespreekt de rol van computers in de geschiedenis van de wiskunde, met nadruk op elliptische krommen en het vierkleurenprobleem. Daarnaast wordt de controverse rond computergegenereerde bewijzen belicht en hoe nieuwe verificatiemethoden het vertrouwen in deze technologie helpen herstellen.
Transcript
Play full episode
