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
Schlafprobleme
Manchmal steckt Forschung in der Sackgasse: Alle Hypothesen, die man aus der vorhandenen Evidenz zu einem ungeklärten Problem formulieren konnte, sind durchgetestet – aber wirklich neue Erkenntnisse sind nicht hinzugekommen. Was kann man in solchen Fällen tun? Vor etwa 20 Jahren schien die Schlafforschung genau in dieser Klemme...