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
Besuch aus dem All
Hunderte von unbekannten Flugobjekten irritieren Wissenschaft und Politik – und werden nun offiziell erforscht. von RÜDIGER VAAS Ist die Erde im Visier einer fortgeschrittenen außerirdischen Technologie? Diese Frage klingt nach abgedroschener Science-Fiction, beschäftigt Wissenschaft und Politik inzwischen aber gleichermaßen....
