DeepMinds AlphaProof Code verifiziert den kryptografischen Kern von Signal in vier Wochen formal
Google DeepMinds AlphaProof Code hat den kryptografischen Kerncode von Signal in vier Wochen mathematisch verifiziert – eine Aufgabe, die normalerweise Jahre dauert. KI-Agenten schrieben dafür mehr als sechs Millionen Zeilen Beweiscode. DeepMind will die Methode auf kritische Infrastruktur wie Stromnetze und Medizingeräte anwenden.
KI könnte formale Korrektheitsbeweise für Software bei sicherheitskritischen Systemen, auf die Menschen täglich angewiesen sind, praxistauglich machen.
aii.news wählt Meldungen aus vertrauenswürdigen Nachrichtenquellen aus und fasst sie mithilfe von KI zusammen. Jede Meldung verlinkt auf die Originalberichterstattung. So arbeiten wir.
Weiterlesen
-
Nvidia-Aufsichtsgremium bereitet Berichten zufolge Absetzung von CEO Jensen Huang nach zweitem Affärenbericht vor
Nvidias Board bereitet Berichten zufolge die Entlassung von CEO Jensen Huang vor, nachdem über eine zweite mutmaßliche Affäre berichtet wurde – diesmal mit einer ihm unterstellten Führungskraft. Erst wenige Tage zuvor hatte er eine Affäre mit einer Frau eingeräumt, die als chinesische Spionin gilt.
Warum das wichtig istEin Führungswechsel bei dem Unternehmen, das die meisten KI-Chips liefert, könnte Chipversorgung, KI-Investitionen und die Tech-Spannungen zwischen den USA und China beeinflussen.
-
Jensen Huang tritt nach Spionage- und Affärenskandalen als Nvidia-CEO zurück; CFO Colette Kress wird Interims-CEO
Der Nvidia-Vorstand hat den Rücktritt von Jensen Huang als CEO, President und Vorstandsmitglied mit sofortiger Wirkung angenommen. Zuvor gab es Berichte über zwei Affären, eine mit einer mutmaßlichen chinesischen Spionin und eine mit einer ihm unterstellten Nvidia-Managerin. CFO Colette Kress ist nun Interims-CEO.
Warum das wichtig istDas weltweit wichtigste KI-Chipunternehmen hat seinen Gründer verloren – mit möglichen Folgen für die Versorgung mit KI-Hardware, die Märkte und die Debatten über Technologiesicherheit zwischen den USA und China.
-
New Yorks KI-Sicherheitsgesetz tritt in Kraft und bringt mehr Aufsicht für OpenAI und Anthropic
New York bereitet die Durchsetzung seines KI-Sicherheitsgesetzes vor, das große KI-Entwickler verpflichtet, sich zu registrieren, ihre Sicherheitspraktiken offenzulegen und kritische Vorfälle zu melden. Unternehmen, die sich nicht daran halten, drohen Bußgelder.
Warum das wichtig istGroße KI-Entwickler unterliegen nun verbindlichen Sicherheits-Meldepflichten auf Bundesstaatsebene, die anderen Rechtsräumen als Vorbild dienen könnten.
-
Google veröffentlicht Gemini 4 Carbon, sein bislang stärkstes Modell, mit Agenten-„Schwarm“-Funktion
Google führt Gemini 4 Carbon für die breite Öffentlichkeit ein, nachdem es zunächst einer ausgewählten Gruppe von Cybersicherheitsexperten zur Verfügung stand. Laut Google übertrifft es sein Modell Argon, wobei Argon für die meisten Programmier- und Wissensaufgaben die empfohlene Wahl bleibt.
Warum das wichtig istEntwickler und Nutzer haben nun ein neues Spitzenmodell von Google, das sie mit den besten Systemen von Anthropic und OpenAI vergleichen können.
-
Anthropic veröffentlicht Claude Fable 5.2 und Mythos 5.2 und senkt API-Preise um 20%
Anthropic stellte Claude Fable 5.2 und Mythos 5.2 vor, die auf demselben Basismodell mit unterschiedlichen Schutzmechanismen beruhen und Verbesserungen bei Programmierung, logischem Denken und Bildverarbeitung bringen. Fable ist breit verfügbar, Mythos hingegen nur für geprüfte Gruppen aus Cybersicherheit und Life Sciences; beide kosten nun $8 pro Million Input-Tokens und $40 pro Million Output-Tokens.
Warum das wichtig istEntwickler erhalten ein stärkeres Programmiermodell zu einem niedrigeren Preis, und die geteilte Veröffentlichung zeigt, wie Labore den Zugang zu den leistungsfähigsten Modellen für sensible Einsätze beschränken.
