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
Die Neuentdeckung unserer Nachbarwelt
Im Orbit, zu Land und in der Luft: Nie zuvor erforschten so viele automatische Späher die Geheimnisse des Mars. Auch China beteiligt sich mit einer komplexen Mission. von THORSTEN DAMBECK Was wird von den Ereignissen im Jahr 2021 bleiben? Womöglich erinnert man sich an den Sturm auf das US-Kapitol oder an die verheerende Flut im...
