Beweisprüfer und KI: Was passiert, wenn niemand mehr die Mathematik versteht?

Die moderne Mathematik ist so spezialisiert, dass selbst Experten einander nicht mehr verstehen. Ein Projekt zeigt, wie Computer die Forschenden wieder zusammenbringen.