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
Das reale Leben im digitalen Riff
Korallenriffe und andere Ökosysteme der Ozeane sind zunehmend bedroht, vor allem durch Klimawandel und Überfischung. Hilfe verspricht nun eine Technik aus der Industrie: digitale Zwillinge. Damit lassen sich Szenarien für Anpassungs- und Schutzmaßnahmen durchspielen und vorab im virtuellen Raum optimieren. von ULRICH EBERL Wer...
