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
Urzeit-Raubtier aus Namibia
Mehr als 40 Millionen Jahre vor den ersten Dinosauriern lebte ein furchteinflößendes Raubtier in kalten, sumpfigen Gewässern: In Namibia haben Forschende Fossilien eines etwa 2,50 Meter großen, salamanderartigen Urzeitwesens entdeckt, dessen flacher Schädel mit kräftigen Reißzähnen bestückt war. Der Fund ist gleich in mehrfacher...
