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
Algorithmen für die Vogelforschung
KI-gestützte Analysen von Vogelstimmen bringen neue Erkenntnisse über die Zugrouten, Bestände und den Gesundheitszustand der Tiere. von TIM SCHRÖDER Schon seit Jahrzehnten nutzen Biologen Satellitensender, um die Zugwege von Tieren zu erforschen. Die Geräte zeichnen regelmäßig die Positionen der Tiere auf. Dank dieser Daten...
