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
Leises Wetter kann auch stürmisch sein
Auf dem Mars ziehen Eiswolken über die Krater und Staubteufel wirbeln auf. Sie verraten, wie lebendig die Atmosphäre des Roten Planeten ist. von KAI DÜRFELD Ein hauchdünner Schleier aus Eis liegt über dem Kraterrand. Die Landschaft ist erstarrt, ein Relief aus Sand und Stein – und regungsloser Stille. Doch weit oben, hoch über...