KI-Modelle finden Beweise, auf die Menschen in jahrzehntelanger Arbeit nicht gekommen sind. Machen sie Mathematiker bald überflüssig? Viele meinen: Die eigentliche Gefahr ist eine ganz andere. Die ...