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
Ein neues Meer im Sonnensystem
Unter dem Eis des Saturntrabanten Mimas verbirgt sich ein bislang unbekanntes Gewässer. Der Ozean des Nachbarmonds Enceladus beherbergt sogar die chemischen Zutaten für Leben. von THORSTEN DAMBECK Acht Jahre nach seiner Entdeckung des Uranus wurde William Herschel 1789 wieder fündig, diesmal bei Saturn: „Wann immer es das Wetter...
