Wissenschaft
Computer als Assistenz-Mathematiker
Rechnen konnten Computer schon immer. Doch abgesehen davon hatten sie für die Mathematik kaum einen Nutzen – bislang. Denn inzwischen gibt es Programme, die mathematische Beweise prüfen können. KI eröffnet dabei neue Möglichkeiten. von PAULA STRÄTER Den meisten Menschen begegnet Mathematik im Alltag nur, wenn sie zählen oder...
Wissenschaft
Das Jahrhundert der Gravitationslinsen
Was als angeblich nicht überprüfbare Spekulation begann, avancierte zu vielseitigen Werkzeugen der Astrophysik. von RÜDIGER VAAS Nicht alles ist bekanntlich so, wie es scheint. Dies gilt auch für das Universum. Tatsächlich steckt der bestirnte Himmel voller Illusionen. Doch trotz aller Irrungen und Wirrungen gelingt es Forschern...
