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
Antarktis: Mehr Stürme durch schmelzendes Meereis
Lange galt das antarktische Meereis als relativ robust, doch inzwischen nagt auch an ihm der Klimawandel. Im Februar 2023 erreichte das Meereis rund um den Südkontinent die geringste Ausdehnung seit Beginn der Aufzeichnungen im Jahr 1980. Eine Studie zeigt nun, wie sich der Verlust dieser Eisdecke auf das Klimasystem auswirkt....
