Lexikon
Nguyen Tan Dung
vietnamesischer Politiker (Kommunist), * 17. 11. 1949 Ca Mau; Jurist; 1967 Eintritt in die Kommunistische Partei; bis 1981 Militärdienst, zuletzt im Rang eines Majors; 1995 stellvertretender Innenminister; 1996 Mitglied des Politbüros; 1997 stellvertretender Premierminister; 1998 Leitung der Zentralbank; seit 2006 Premierminister Vietnams.
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
Wie die KI genügsamer wird
Künstliche neuronale Netze sind die Basis des aktuellen KI-Booms. Doch ihre Anwendung und ihr Training verschlingen Unmengen an elektrischer Energie. Forscher suchen deshalb nach Möglichkeiten, sie effizienter zu machen. von THOMAS BRANDSTETTER Schätzungen zufolge benötigt eine einfache Anfrage an den Chatbot „ChatGPT“ etwa 10-...