Zal AI ooit de grootste wiskundige problemen oplossen?
NRC Onbehaarde Apen
00:00
AI en Wiskunde: Een Revolutie
Dit hoofdstuk verkent het gebruik van computers en AI in de wiskunde, met een focus op baanbrekende bewijsvoering zoals het vierkleurenprobleem en het Kepler vermoeden. De sprekers bespreken de recente vooruitgangen van systemen zoals Alpha Evolve en de impact van AI op abstracte wiskundige problemen en matrixvermenigvuldiging.
Transcript
Play full episode
