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.

heise.de/news/Leanstral-1-5-Mi…

#Automatisierung #IT #KünstlicheIntelligenz #MachineLearning #Mathematik #OpenSource #Rust #news

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.

heise.de/news/Fluggastdaten-De…

#API #Bundeskriminalamt #Datenschutz #Fluggastdaten #Netzpolitik #Polizei #Überwachung #news

China reguliert emotionale KI: ByteDance und Alibaba schalten App-Funktionen ab

Nachdem China die Regeln für menschenähnliche KI-Begleiter verschärft hat, entfernen ByteDance und Alibaba entsprechende Funktionen aus ihren KI-Apps.

heise.de/news/China-reguliert-…

#Alibaba #IT #KünstlicheIntelligenz #news

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.

heise.de/news/Xbox-Microsoft-w…

#Entertainment #Microsoft #Spiele #Wirtschaft #Xbox #news

Noch ein paar der zuletzt hier besonders häufig geteilten #News:

CalyxOS ist zurück: Custom-ROM startet mit Version 7.2.2.0 neu
heise.de/news/CalyxOS-ist-zuru…

Nvidia verkauft KI-Beschleuniger jetzt gegen Umsatzbeteiligung
heise.de/news/Nvidia-verkauft-…

Multispektrale Sensortechnik und KI finden Unterwasser-Blindgänger
heise.de/news/Multispektrale-S…

Cern rüstet Teilchenbeschleuniger LHC auf
heise.de/news/Cern-ruestet-Tei…

#heise #Verpasstodon

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.de/news/Fuer-digitale-So…

#DigitaleSouveränität #EU #Fraunhofer #IT #Security #news

Einige der zuletzt hier besonders häufig geteilten #News:

IFG: Ehemalige Bundesbeauftragte halten Koalitionsbeschlüsse für „verheerend“
heise.de/news/IFG-Ehemalige-Bu…

Seltsame Metallkugeln: Wieder Aufregung um Weltraumschrott in Australien
heise.de/news/Seltsame-Metallk…

WhatsApp-Benutzernamen wecken Befürchtungen vor möglichem Identitätsdiebstahl
heise.de/news/WhatsApp-Benutze…

Trumps Memecoins: Milliardenverluste für die meisten Konten, Gewinne für wenige
heise.de/news/Trumps-Memecoins…

#heise #Verpasstodon

Cern rüstet Teilchenbeschleuniger LHC auf

Der LHC wird für mehrere Jahre stillgelegt. In der Zeit wird der Teilchenbeschleuniger gewartet und aufgerüstet.

heise.de/news/Cern-ruestet-Tei…

#CERN #LargeHadronCollider #Teilchenphysik #Wissenschaft #news

Sicherheitswarnungen: Node.js will KI-Flut mit KI bekämpfen

In der Node.js-Community ist eine Diskussion darüber entstanden, wie sie weiter mit der Vielzahl an LLM-generierten Sicherheitsmeldungen verfahren soll.

heise.de/news/Sicherheitswarnu…

#Automatisierung #IT #KünstlicheIntelligenz #OpenSource #Sicherheitslücken #news

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.

heise.de/news/Nvidia-verkauft-…

#Hardware #IT #KünstlicheIntelligenz #Nvidia #Rechenzentrum #Wirtschaft #news

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.

heise.de/news/OPNsense-Update-…

#Firewall #IT #OpenSource #Security #Sicherheitslücken #Updates #news

heise online (inoffiziell) hat dies geteilt.

Bau von neuem Rechenzentrum: Erneuerbare Energiequellen waren eine Lüge?

DataVita, Co-Betreiber eines neuen Rechenzentrums in Schottland, plante offenbar nie, es wie versprochen mit erneuerbaren Energien zu betreiben.

heise.de/news/Bau-von-neuem-Re…

#IT #KünstlicheIntelligenz #Nachhaltigkeit #Rechenzentrum #Solarenergie #Wirtschaft #news

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.

heise.de/news/KI-Update-UN-Ber…

#GenerativeAI #KünstlicheIntelligenz #Journal #KIUpdate #Sprachverarbeitung #OpenSource #Wissenschaft #news

Deutscher DSA-Koordinator geht gegen eBay vor

Der Onlinemarktplatz soll wesentliche Regeln des Digitale-Dienste-Gesetzes bislang nicht einhalten, meint der DSA-Koordinator bei der Bundesnetzagentur.

heise.de/news/Deutscher-DSA-Ko…

#DigitalServicesAct #eBay #Netzpolitik #Regulierung #Verbraucherschutz #Wirtschaft #news

Temu, Shein und Co. steigern Marktanteil auf Rekordwert

Die Verbraucher in Deutschland geben online immer mehr Geld bei Shoppingplattformen wie Temu oder Shein aus. Die Konsumstimmung bleibt jedoch schwach.

heise.de/news/Temu-Shein-und-C…

#eCommerce #Handel #Logistik #Versandhandel #Wirtschaft #news

ESA-Weltraumteleskop Euclid: Erfolge bei Suche nach den frühesten Quasaren

Seit Jahren arbeitet Euclid an einer gewaltigen Himmelskarte. Dabei findet das Weltraumteleskop auch mehr Quasare im frühen Universum als alle Geräte zuvor.

heise.de/news/ESA-Weltraumtele…

#Astronomie #Forschung #Wissenschaft #news

Die Medien in diesem Beitrag werden Besuchern nicht angezeigt. Um sie anzusehen, gehe bitte zum Originalbeitrag.

Aliens? Geheime Militärtechnik? Oder doch nur der Deckel von einem riesigen Thermosbecher? 🤔 An einem Strand in Queensland sind mysteriöse Metallkugeln angespült worden und die Behörden hatten erst mal alle Hände voll zu tun.

Zum Artikel: heise.de/-11354334?wt_mc=sm.re…

#weltraumschrott #australien #raumfahrt #queensland #spacedebris

Dell dichtet PowerProtect Data Domain gegen gefährliche Angriffsszenarien ab

Als „kritisch“ stuft Dell ein bereitgestelltes Update-Paket für mehrere Versionen des PowerProtect DD-Betriebssystems ein. Remote-Angriffe sind möglich.

heise.de/news/Dell-dichtet-Pow…

#Dell #IT #Security #Sicherheitslücken #Updates #news

heise online (inoffiziell) hat dies geteilt.

heise+ | Test: KI- und Workstationgrafikkarte Asrock Arc Pro B70 Creator mit Intel-GPU

Die Arc Pro B70 ist die billigste 32-GByte-Karte für Workstations und KI. Was sie kann und wer davon profitiert, verrät unser Test.

heise.de/tests/Test-KI-und-Wor…

#Grafikkarten #Intel #IT #news

Punkt MC03: Google-freies Smartphone kommt ohne Abo zum höheren Preis

Das Schweizer Unternehmen Punkt hat sein Google-freies Smartphone MC03 auf den Markt gebracht. Die ursprünglich geplanten Abo-Gebühren entfallen.

heise.de/news/Punkt-MC03-Googl…

#Android #Datenschutz #Hardware #Mobiles #Mobilfunk #Smartphone #Updates #news

Statt komplexer Touch-Sensorik: Forscher machen Taktilität per Licht sichtbar

Roboter „fühlen“ zu lassen, ist mit hohem Aufwand verbunden. Ein Sensor aus mechanochromen Material soll die taktile Erfassung vereinfachen.

heise.de/news/Statt-komplexer-…

#Roboter #Wissenschaft #news

Coolify: Kritische Lücken können Remote-Angriffe ermöglichen

Sicherheitslücken in der Self-Hosting-Plattform bieten Angriffsmöglichkeiten mit geringen, allerdings eng definierten Zugriffsrechten. Updates sind verfügbar.

heise.de/news/Coolify-Kritisch…

#IT #Security #news

heise online (inoffiziell) hat dies geteilt.

heise+ | Investieren in die Rüstungsbranche: Aktien, ETFs & Fonds im Check

Die Rüstungsindustrie ist zum strategischen Investment geworden, zuletzt gab es aber herbe Verluste. Anleger sollten ein Engagement deshalb genau prüfen.

heise.de/ratgeber/Investieren-…

#Börse #ETF #Finanzen #Militär #Wirtschaft #news

Tipp: Eckradien und Seitenleisten in macOS 26 zähmen

Mit dem Liquid-Glass-Design führte Apple in macOS 26 auch ein neues Fensterlayout ein. Das gefällt vielen nicht. Das könnten Sie tun.

heise.de/ratgeber/Tipp-Eckradi…

#Design #IT #Mac #Mobiles #news

Rüstungsstartup Helsing darf Fabrik in Hallbergmoos bauen

Das Startup Helsing wird in Hallbergmoos bei München eine große Fabrik bauen. Die Gemeinde hat sich in einer Abstimmung mit großer Mehrheit dafür ausgesprochen.

heise.de/news/Ruestungsstartup…

#Drohnen #KünstlicheIntelligenz #Startups #Wirtschaft #Wissenschaft #news

heise+ | Hörhilfe mit vollem Sound: Kleiner Lautsprecher kommt direkt aufs Trommelfell

Ein neues Hörgerät soll vollen Musikgenuss erlauben. Ein deutsches Start-up setzt dazu einen Piezolautsprecher aufs Trommelfell – das hat nicht nur Vorteile.

heise.de/hintergrund/Hoerhilfe…

#IT #Medizin #Wissenschaft #news

Tianwen-2: Chinesische Weltraumsonde erreicht Quasisatelliten Kamoʻoalewa

Ein Jahr nachdem die chinesische Weltraumsonde Tianwen-2 gestartet wurde, hat sie ihr erstes Forschungsziel erreicht. Auf Kamoʻoalewa soll sie Proben entnehmen.

heise.de/news/Tianwen-2-Chines…

#Forschung #Raumfahrt #Wissenschaft #news

CalyxOS ist zurück: Custom-ROM startet mit Version 7.2.2.0 neu

Nach einer Zwangspause kehrt das Custom-ROM CalyxOS zurück. Die neue Version 7.2.2.0 basiert auf Android 16, CalyxOS 8 auf Android-17-Basis ist in Arbeit.

heise.de/news/CalyxOS-ist-zuru…

#Android #Datenschutz #Fairphone #Google #IT #OpenSource #Updates #news

Kommentar zum Aus für Spiele-Discs: Sony, spinnt ihr?

Dass Sony ab 2028 keine Spiele mehr auf Blu-rays vertreiben will, ist ein untragbarer Verlust für die Spielekultur meint Nico Ernst. Es gäbe Alternativen.

heise.de/meinung/Kommentar-zum…

#Entertainment #Playstation #Sony #Spiele #Verbraucherschutz #news

Seltsame Metallkugeln: Wieder Aufregung um Weltraumschrott in Australien

Immer wieder fällt Weltraumschrott auf Australien oder wird dort angespült. Nun sorgen kreisrunde Metallkugeln an einem Strand in Queensland für Aufregung.

heise.de/news/Seltsame-Metallk…

#Raumfahrt #Wissenschaft #news

heise+ | Bit-Rauschen: Weckrufe für europäische IT-Souveränität

Die US-Blockade eines KI-Modells für Ausländer verdeutlicht unsere Abhängigkeit. China hat den schnellsten Supercomputer und Firmware soll offener werden.

heise.de/hintergrund/Bit-Rausc…

#AMD #ARM #BitRauschen #DigitaleSouveränität #Firmware #HighPerformanceComputing #Intel #IT #Rechenzentrum #Server #Supercomputer #UEFI #news

Multispektrale Sensortechnik und KI finden Unterwasser-Blindgänger

Küstennahe Unterwasser-Blindgänger gefährden Touristen und Schifffahrt. Mit MiDAR und KI sollen sie zuverlässig erkannt werden.

heise.de/news/Multispektrale-S…

#Drohnen #KünstlicheIntelligenz #Wissenschaft #news

Noch ein paar der zuletzt hier besonders häufig geteilten #News:

Repräsentative Umfrage: Viele Eltern regeln Digitalkonsum von Kindern nicht
heise.de/news/Repraesentative-…

Behörde kann der Post nicht auf die Finger gucken, weil Marktforscher klagen
heise.de/news/Behoerde-kann-de…

Hunderte Milliarden Euro an Klimaschäden durch deutschen Solarstrom gespart
heise.de/news/Deutscher-Solars…

Schulen in Rheinland-Pfalz: Strenge Regeln für Handys in Planung
heise.de/news/Schulen-in-Rhein…

#heise #Verpasstodon

Trumps Memecoins: Milliardenverluste für die meisten Konten, Gewinne für wenige

Die Geschäfte mit den Memecoins von Donald Trump laufen so wie bei anderen Memecoins auch. Zu den wenigen, die enorm profitieren, gehört der US-Präsident.

heise.de/news/Trumps-Memecoins…

#Kryptowährung #DonaldTrump #Finanzen #Wirtschaft #news

Einige der zuletzt hier besonders häufig geteilten #News:

Video: Das passiert mit Social-Media-Accounts nach dem Tod
heise.de/news/Video-Das-passie…

Stargate UK: 20-Milliarden-Pfund-Investment war nicht mehr als ein PR-Stunt
heise.de/news/Stargate-UK-20-M…

Für 8,2 Milliarden Euro: Micron baut japanische Chipfabrik aus
heise.de/news/Fuer-8-2-Milliar…

Instagram-Werbung mit Bildern von Kindesmissbrauch
heise.de/news/Instagram-Werbun…

#heise #Verpasstodon

Montag: Britisches Stargate nur Medien-Coup, Identitätsdiebstahl bei WhatsApp

KI-Milliarden als Inszenierung + Warnung bei WhatsApp-Benutzernamen + Alibaba-Verbot von Anthropic-KI + 30 Jahre „Independence Day“ + Bahnhofsumbau ohne Ausfall

heise.de/news/Montag-Britische…

#Alibaba #Anthropic #Cybersecurity #Filme #hoDaily #Journal #KünstlicheIntelligenz #Mobilität #OpenAI #ScienceFiction #Verkehr #WhatsApp #news

WhatsApp-Benutzernamen wecken Befürchtungen an möglichem Identitätsdiebstahl

Betrüger könnten WhatsApp-Benutzernamen bekannter Personen zu kriminellen Zwecken missbrauchen, warnen Sicherheitsexperten. Reservierungen sind bereits möglich.

heise.de/news/WhatsApp-Benutze…

#Cybercrime #Datenschutz #IdentityManagement #Messaging #MetaPlatforms #Mobiles #Scamtracker #Security #WhatsApp #news

Repräsentative Umfrage: Viele Eltern regeln Digitalkonsum von Kindern nicht

In mehr als der Hälfte der Familien gibt es keine Zeitlimits für Handys. Gleichzeitig fordern viele Eltern strengere Altersregeln für Social Media.

heise.de/news/Repraesentative-…

#Digitalisierung #Handyverbot #Journal #Jugendschutz #Netzpolitik #SocialMedia #news

This website uses only neccessary cookies. If you continue browsing this website, you agree to the usage of cookies.