Beweise sind die Bausteine, aus denen die Mathematik ihre Gedankengebäude errichtet. Nur was mit streng logischen Argumenten belegt ist, wird akzeptiert. Aber komplizierte Beweise können fehlerhaft sein und sind schwer zu überprüfen.
Nun können Computerverfahren Beweise auf ihre Richtigkeit checken. Bald werden KI-Systeme selbst Beweise vorschlagen und vielleicht die großen mathematischen Rätsel lösen. Doch wird diese Beweise dann noch jemand nachvollziehen können?
