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
Moderne Schatzsuche
Künstliche Intelligenz und Sensoren unterstützen Bergbauunternehmen beim Aufspüren und Erkunden von Erzvorkommen. von KLAUS JACOB Als im Jahr 1170 im Erzgebirge in der Gegend von Freiberg zufällig Silber gefunden wurde, tobte das erste „Berggeschrei“, eine Art Goldrausch. Bergleute, Händler, Köhler, Vagabunden – alle möglichen...