Mathematik: Was zu beweisen war

Mathematische Beweise werden immer komplexer. Wie aber prüft man 900 Seiten voller Formeln – oder gar computergenerierte Argumente?

Quelle: SZ.de