Hat menschliche Mathematik noch eine Zukunft, wenn KI alle großen Probleme löst? Der Mathematiker Jeremy Avigad und die Historikerin Tanya Klowden sind optimistisch.