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
Kernkraftzwerge
Weltweit entwickeln Ingenieure kleine, modulare Kernreaktoren, die sich am Fließband fertigen lassen. Verhelfen sie der Nuklearenergie zu einer Renaissance? von MARTIN ANGLER Beim Schippen von Sand und Erde sieht man Bill Gates nicht jeden Tag. Doch für den ersten Spatenstich seines neuen Nuklearreaktors ist der Softwarepionier...