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
Lunare Wasserstellen
In ewig dunklen Kratern an den Mondpolen überdauerte Wassereis bereits Milliarden von Jahren. Wasser-Moleküle finden sich aber auch im Gestein unter hellem Sonnenlicht. von THORSTEN DAMBECK Der Mond ist knochentrocken – so lautete nach den Apollo-Missionen jahrzehntelang das Mantra der Experten. Sie stützten sich auf chemische...