Großes Wörterbuch der deutschen Sprache
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
Ozeane aus der Balance
Die Forschung verstärkt die Beobachtung der Ozeane. Die Versauerung des Wassers nimmt weiter zu und Sauerstoffmangel könnte dazu führen, dass in einigen Meerestiefen zukünftig kein Leben mehr möglich ist. Von RAINER KURLEMANN Für einen genauen Blick auf die Erde benötigt der Mensch manchmal Distanz. Der Forschungssatellit...