Lexikon
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
Leben bei Roten Zwergen?
Auf der Suche nach einer zweiten Erde gelten Planeten bei Roten Zwergen als aussichtsreich. Doch wie lebensfreundlich sind sie wirklich? von FRANZISKA KONITZER Gliese 887 macht einen ruhigen, unspektakulären Eindruck – und genau deshalb interessiert sich Sandra Jeffers brennend für den Stern. Die Astronomin von der Universität...
