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
Bombardement aus dem All
Planetologen erforschen die Chronologie des frühen Sonnensystems: Kam es vor vier Milliarden Jahren plötzlich zu einer Flut kosmischer Einschläge – ausgerechnet als sich das erste Leben auf der Erde regte? von THORSTEN DAMBECK Die junge Erde war nicht der Blaue Planet heutiger Tage. Mit ihren dunklen Basaltlandschaften und den...