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
Unbekanntes Rendezvous
Die seltsamen Bahnen von Himmelskörpern im äußeren Sonnensystem sind ein ungelöstes Rätsel. Neuen Indizien zufolge könnten sie von einer engen Begegnung unserer Sonne mit einem Nachbarstern verursacht worden sein. von THORSTEN DAMBECK Es war ein seltsamer Mond, dessen Entdeckung William Pickering 1899 meldete. Bei der Auswertung...
