Matematikere føler seg truet av KI

KI-chatroboter kan nå løse matematiske problemer som mennesker ikke har klart. Det reiser nye, store problemer for faget.