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
Sind die Klimaziele noch erreichbar?
Einen Zustand zu erreichen, in dem sich die Menge der durch Menschen verursachten Treibhausgase in der Atmosphäre nicht weiter erhöht, ist in den vergangenen Jahren zum zentralen Ziel des Klimaschutzes geworden. Im Englischen hat sich dafür mittlerweile der Begriff „Net Zero“ etabliert, der sinngemäß mit Netto-null-Emissionen...
