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
Relativistisch genau – Atomuhren messen Höhenunterschiede
Albert Einstein sagte voraus, dass die Zeit auf Bergen oder sonstigen Erhebungen schneller vergeht als im Tal – schuld sind die höhenbedingten Unterschiede in der Erdschwerkraft. Jetzt ist es Physikern gelungen, den winzigen Effekt der gravitativen Zeitdehnung für die Höhenmessung selbst weit voneinander entfernter Orte zu nutzen...
