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
Sternentod der besonderen Art
Ein 2018 explodierter Stern lässt sich erstmals einem exotischen Supernova-Typ zuordnen. Auch der Krebs-Nebel könnte so entstanden sein. von DIRK EIDEMÜLLER Schon 1980 proklamierte der japanische Astrophysiker Ken’ichi Nomoto einen ungewöhnlichen Typ von Sternentod. Neben den bekannten Explosionsarten von Supernovae bei...