Mathematik und KI: »Die mathematische Fachwelt ist in Aufruhr«

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.