Matematikere føler sig truet af AI: Det er det vilde vesten

AI-chatrobotter kan levere matematiske beviser af menneskelig sværhedsgrad. Det rejser nye store problemer for faget.
» Ingenioren