Lexikon
Formalịsmus
Mathematik
eine von D. Hilbert eingeführte Betrachtungsweise, für die die Mathematik nur aus formalen Strukturen besteht, also gewissermaßen ein Spiel mit Symbolen ist.
Wissenschaft
Wie lassen sich beschädigte Stahlbrücken reparieren?
Wenn eine Brücke aus Stahlfachwerk beschädigt wird, stürzt sie nicht zwangsläufig komplett ein. Stattdessen kommt es auf die Lage der Schäden und die Reaktion der verbleibenden Bauteile an, wie Forschende ermittelt haben. Sofern nach dem Schaden bestimmte Stahlträger verdreht und verbogen werden, kann die vermehrte Traglast auf...
Wissenschaft
KI-Sprachmodell analysiert und entwirft DNA-Sequenzen
Mit einem Wortschatz von lediglich vier Buchstaben kodiert die DNA in Millionen von Basenpaaren die genetische Information. Diese „Sprache des Lebens“ hat nun ein neues KI-Modell gelernt, das nach dem gleichen Prinzip funktioniert wie große Sprachmodelle. Das Modell namens Evo wurde mit 2,7 Millionen Genomen von Bakterien und...