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
Einsteins Spuk
In der mysteriösen Quantenwelt scheinen sich Orte und Entfernungen aufzulösen – und damit vielleicht sogar die ganze im Alltagsleben vertraute Wirklichkeit. von RÜDIGER VAAS Gleich am Anfang des ersten Kapitels seiner Einstein-Biografie „Raffiniert ist der Herrgott …“ erinnert sich Abraham Pais an einen Spaziergang im US-...