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
Die Suche nach dem Unmöglichen
Verschwundene Galaxien, plötzlich auftauchende Sterne oder fremde Sonden im Erdorbit: Eine Großfahndung nach exotischen Himmelsphänomenen hat begonnen – und bereits zu seltsamen Entdeckungen geführt. von RÜDIGER VAAS Signale mit elektromagnetischen Strahlen und vielleicht mit Neutrinos oder Gravitationswellen sowie indirekte...
