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
Quantensprünge in der Röhre
Mit einem neuartigen Kernspinmikroskop lassen sich zum ersten Mal per Kamera hochaufgelöste Bilder von molekularen Prozessen machen – zum Beispiel für die Krebsdiagnostik oder die Forschung an Batteriematerialien. von DIRK EIDEMÜLLER Wenn Chemiker ein Herstellungsverfahren für eine neue Substanz ertüftelt haben, überprüfen sie...