Allgemeine Wissenschaft

KI nutzt mathematische Durchbrüche zur Bekämpfung von Softwarefehlern und Cybersicherheitsbedrohungen

Nach der schnellen Lösung des Navier-Stokes-Problems durch OpenAI passen Forscher ähnliche KI-Techniken für die Softwareverifikation an. Start-ups wie &Truth zielen darauf ab, gefährliche Codefehler mithilfe formaler…
Artikel lesen →

Allgemeine Wissenschaft

Vatikan-Ausstellung zeichnet die Jahrhundert-Evolution des Papemobiles von Luxus-Limousinen zu kugelsicheren Kabinen nach

Eine neue Ausstellung in den Vatikanischen Museen zeigt acht Mercedes-Benz-Fahrzeuge aus der Zeit von 1930 bis 2012 und veranschaulicht, wie sich das päpstliche Auto von einem privaten Luxus-Transportmittel zu einem…
Artikel lesen →

Allgemeine Wissenschaft

Fortgeschrittene DNA-Software verknüpft Ted Bundy mit einem 52 Jahre alten ungelösten Fall in Utah

Forensiker in Utah nutzten das Softwareprogramm STRmix, um degradiertes genetisches Material zu rekonstruieren und den Serienmörder Ted Bundy endgültig mit dem Mord an Melissa Ann Smith im Jahr 1974 in Verbindung zu…
Artikel lesen →

Allgemeine Wissenschaft

Neue Analyse von 183.000 Erwachsenen verbindet intensiven Social-Media-Konsum mit einem höheren Depressionsrisiko über ein Jahrzehnt

Eine umfassende Studie, die mehr als 183.000 US-Erwachsene von 2014 bis 2024 analysiert, zeigt, dass der tägliche Social-Media-Konsum zu den stärksten Prädiktoren für selbstberichtete Depressionen gehört. Die Forschung…
Artikel lesen →