Computer sind immer öfter an mathematischen Durchbrüchen beteiligt. Wie Beweisprüfer und KI-Programme die Arbeit der Fachleute ändern, erklärt der Mathematiker Terence Tao im Interview.