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
Fehlende Materie entdeckt
Seit Jahrzehnten fahnden Astrophysiker nach Atomen im Universum, die theoretisch existieren müssen, bislang aber unauffindbar geblieben sind. Beobachtungen mit dem Röntgenteleskop eROSITA haben das Rätsel wohl gelöst. von THOMAS BÜHRKE Das Weltbild hat im vergangenen Jahrzehnt mit dem Standardmodell der Kosmologie eine...
Weitere Artikel auf wissenschaft.de
Dem Gedächtnis auf der Spur
Entschieden entscheiden
Im Elektroauto zu den Klimazielen?
Der Sinn des Vergessens
Was ist Zeit?
Technik mit Lebenszeichen