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
Rostiges Zeichen der Erwärmung
Aus klarem Wasser wird eine orangefarbene Suppe: Forscher berichten über eine intensive Verfärbung zahlreicher Bäche und Flüsse in Alaska. Ihre Untersuchungsergebnisse legen nahe, dass es sich um eine Folge des Auftauens des Permafrosts handelt: Mineralien werden aus dem Untergrund gelöst, die zur Freisetzung von Metallen...
Weitere Artikel auf wissenschaft.de
Neustart im Gehirn
Eine Gesundheit für alle
Gefallen, gefunden, gedeutet
Wettlauf zum Kreislauf
Künstliche Intelligenz in der Sackgasse
Kalter Schall