OpenAI Astra: KI-Modell löst zehn offene Mathematik-Probleme
OpenAI Astra löst zehn seit Jahren offene Mathematik-Probleme – mit auf GitHub prüfbaren Lean-Beweisen. Was hinter dem neuen KI-Modell steckt.
OpenAI Astra löst zehn seit Jahren offene Mathematik-Probleme – mit auf GitHub prüfbaren Lean-Beweisen. Was hinter dem neuen KI-Modell steckt.
Cyberangriffe auf Wasserwerke: CISA und FBI warnen vor Attacken auf ungeschützte PLC-Steuerungen. Über 30 Systeme gestört – so schützen Betreiber ihre OT.
Adobe Campaign Classic enthält eine kritische Sicherheitslücke (CVE-2026-48449, CVSS 10.0): Angreifer können ohne Nutzerinteraktion Code ausführen. Jetzt patchen.
Nach bösartigen Paket-Übernahmen hat Arch Linux das AUR-Adoptionssystem gesperrt. Was betroffen ist und wie du beim Bauen aus dem AUR sicher bleibst.
DeepSeek V4 Flash (Build 0731) ist da: MoE-Modell mit 284 Mrd. Parametern, 1-Mio-Kontext und MIT-Lizenz – optimiert für KI-Agenten und Programmierung.
CVE-2026-18556 erlaubt in N-able N-central 2026.1 unauthentifizierten Admin-Zugriff. Angreifer nutzen die Lücke aktiv – jetzt auf 2026.3 updaten.
Ein Firmware-Fehler in Coldcard-Wallets ermöglichte den Diebstahl von rund 70 Millionen Dollar in Bitcoin. Was passiert ist und was Nutzer jetzt tun müssen.
Thinking Machines veröffentlicht Inkling-Small: ein offenes KI-Modell, das mit einem Drittel der Größe fast die Leistung des Flaggschiffs erreicht.
CVE-2026-66066 in Ruby on Rails Active Storage erlaubt das Auslesen beliebiger Dateien. So schützen Betreiber ihre Anwendung – jetzt patchen.
OpenAI senkt die GPT-5.6-Preise um bis zu 80 % und gibt bis zu 100.000 Forschern Gratis-Zugang. Was der Doppelschlag für Nutzer bedeutet.