-
Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.
-
Fluggastdaten: Deutsche Behörden scannten 2025 über 627 Millionen Datensätze
Das PNR-Überwachungssystem für den Flugverkehr wächst massiv. Welche Airlines Daten liefern, behält die Bundesregierung aus Geheimschutzgründen lieber für sich.
-
China verschärft KI-Regeln: ByteDance und Alibaba entfernen menschenähnliche KI
Nachdem China die Regeln für menschenähnliche KI-Begleiter verschärft hat, entfernen ByteDance und Alibaba entsprechende Funktionen aus ihren KI-Apps.
-
Xbox: Microsoft will fünf Studios loswerden und 3200 Stellen streichen
Microsoft baut die Spiele-Sparte Xbox um: Neben Entlassungen sind flachere Hierarchien geplant. Auch im Geschäftskundenvertrieb fallen Stellen weg.
-
Für digitale Souveränität: RISC-V-Sicherheitschip aus Deutschland
Mehrere Fraunhofer-Institute haben gemeinsam ein Secure Element auf Basis des offengelegten OpenTitan entwickelt, das Globalfoundries in Dresden fertigt.
-
heise+ | 10-Gigabit-Netzwerk für zu Hause: Voraussetzungen und Verkabelung
Die Preise für 10G-Hardware fallen und machen das Thema so auch für kleine Büros und daheim spannend. Wir beleuchten die Voraussetzungen und den Nutzen.
-
Vom LHC zum HiLumi LHC: Cern-Teilchenbeschleuniger wird aufgerüstet
Der LHC wird für mehrere Jahre stillgelegt. In der Zeit wird der Teilchenbeschleuniger gewartet und aufgerüstet.
-
Bang & Olufsen Beoplay H100 im Test: genial guter Klang, Top-ANC, perfekter Halt
Der Over-Ear-Kopfhörer Beoplay H100 setzt auf Titan-Treiber, Lammleder und Top-ANC. Doch rechtfertigt das den stolzen Preis von 1700 Euro?
-
Node.js kämpft mit Flut an automatisierten Sicherheitsreports
In der Node.js-Community ist eine Diskussion darüber entstanden, wie sie weiter mit der Vielzahl an LLM-generierten Sicherheitsmeldungen verfahren soll.
-
Nvidia verkauft KI-Beschleuniger jetzt gegen Umsatzbeteiligung
Ein neues Geschäftsmodell soll Nvidia noch mehr Geld in die Kasse spülen. Neoclouds bekommen vergünstigte Hardware gegen Umsatzbeteiligung.
-
OPNsense-Update beseitigt kritische Rootlücke und weitere Sicherheitsrisiken
Aktuelle Versionen der Open-Source-Firewall-Distribution schließen mehrere Einfallstore. Eine als kritisch bewertete Lücke macht das Update besonders dringlich.
-
Schottisches Rechenzentrum: Zweifel an versprochener Versorgung mit Erneuerbaren
DataVita, Co-Betreiber eines neuen Rechenzentrums in Schottland, plante laut einem Medienbericht nie, es wie versprochen mit erneuerbaren Energien zu betreiben.
-
Ubuntu macht ARM64 zur Plattform erster Klasse
Canonical treibt den Ausbau von Ubuntu für ARM64 voran. Mit Ubuntu 26.04 LTS erreicht ARM64 in vielen Bereichen Parität mit AMD64.
-
heise+ | ChatGPT als Layoutwerkzeug: OpenAI-Produktleiterin Adele Li im Interview
OpenAI-Produktleiterin Adele Li erklärt im Interview, warum ChatGPT Bilder, Text und Layout besser kombiniert als zuvor und weshalb kurze Prompts ausreichen.
-
KI-Update: UN-Bericht zu KI, Plädoyer für Open Source, Vorsicht vor KI-Kollegen
Das "KI-Update" liefert werktäglich eine Zusammenfassung der wichtigsten KI-Entwicklungen.