Lexikon
Kalkụ̈l
Logik
Zeichensystem mit Operationsregeln; Mittel zur Formalisierung logischer Folgerungen.
Wissenschaft
KI-Modelle erkennen Meinungen nicht zuverlässig
KI-Sprachmodelle sind darauf trainiert, Falschaussagen nicht unwidersprochen stehen zu lassen. In manchen Fällen – etwa im medizinischen oder juristischen Bereich – kann es allerdings wichtig sein, die subjektive Meinung einer Person als solche anzuerkennen, selbst wenn sie faktisch falsch ist. Doch damit haben einige KI-...
Wissenschaft
Atomuhren zum Mitnehmen
Optische Atomuhren messen die Zeit so präzise wie kein anderer Taktgeber. Dank einer Erfindung des deutschen Nobelpreisträgers Theodor Hänsch rücken sie jetzt näher an die Praxis und werden nutzbar für mobile Anwendungen. von NIKOLAUS FECHT Ohne ihn hätten die Wissenschaftler keine Möglichkeit, die Zeit mit einer solchen...