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
Wie Wärmepumpen das Stromnetz schonen
Eine wachsende Zahl von Wärmepumpen wird den Stromverbrauch deutlich steigen lassen. Durch trickreiche Techniken lässt sich gewährleisten, dass dennoch keine Überlastung der Versorgungsnetze droht. von TIM SCHRÖDER Gerade einmal fünf Grad hat das Wasser im Rhein bei Mannheim in der Winterzeit. Nach menschlichem Empfinden ist das...
