DeepMinds AlphaProof Code verifieert de cryptografische kern van Signal formeel in vier weken
AlphaProof Code van Google DeepMind heeft de cryptografische kerncode van Signal in vier weken wiskundig geverifieerd, een klus die normaal jaren duurt. AI-agents schreven daarvoor meer dan zes miljoen regels bewijscode. DeepMind wil de methode toepassen op kritieke infrastructuur zoals stroomnetten en medische apparatuur.
AI kan formeel bewijs van softwarecorrectheid haalbaar maken voor veiligheidskritieke systemen waar mensen dagelijks op vertrouwen.
aii.news kiest en vat berichten van betrouwbare nieuwsbronnen samen met hulp van AI. Elk bericht linkt naar de oorspronkelijke verslaggeving. Zo werken we.
Lees verder
-
Raad van bestuur Nvidia bereidt naar verluidt ontslag CEO Jensen Huang voor na tweede bericht over affaire
De raad van bestuur van Nvidia bereidt naar verluidt het ontslag van CEO Jensen Huang voor na een bericht over een tweede vermeende affaire, dit keer met een leidinggevende die aan hem rapporteert. Dat komt dagen nadat hij een affaire toegaf met een vrouw die een Chinese spion zou zijn.
Waarom het ertoe doetEen leiderschapswissel bij het bedrijf dat de meeste AI-chips levert, kan gevolgen hebben voor de chiplevering, AI-investeringen en de technologische spanningen tussen de VS en China.
-
Jensen Huang treedt af als CEO van Nvidia na spionage- en affaireschandalen; CFO Colette Kress benoemd tot interim-CEO
De raad van bestuur van Nvidia heeft het ontslag van Jensen Huang als CEO, president en bestuurslid met onmiddellijke ingang aanvaard. Dit volgde op berichten over twee affaires, een met een vermeende Chinese spion en een met een Nvidia-topvrouw die aan hem rapporteerde. CFO Colette Kress is nu interim-CEO.
Waarom het ertoe doetHet belangrijkste AI-chipbedrijf ter wereld is zijn oprichter kwijt, wat gevolgen kan hebben voor de levering van AI-hardware, de markten en de discussies over techveiligheid tussen de VS en China.
-
AI-veiligheidswet van New York treedt in werking en zet extra toezicht op OpenAI en Anthropic
New York bereidt de handhaving voor van zijn AI-veiligheidswet, die grote AI-ontwikkelaars verplicht zich te registreren, hun veiligheidspraktijken openbaar te maken en kritieke incidenten te melden. Bedrijven die zich er niet aan houden, riskeren boetes.
Waarom het ertoe doetGrote AI-ontwikkelaars krijgen nu te maken met bindende meldregels voor veiligheid op staatsniveau, die een voorbeeld kunnen worden voor andere rechtsgebieden.
-
Google brengt Gemini 4 Carbon uit, zijn sterkste model tot nu toe, met een 'zwerm'-functie voor agents
Google rolt Gemini 4 Carbon uit naar het grote publiek, nadat het model eerst beschikbaar was voor een selecte groep cybersecurityverdedigers. Volgens Google gaat het verder dan het Argon-model, al blijft Argon de aanbevolen keuze voor het meeste programmeer- en kenniswerk.
Waarom het ertoe doetOntwikkelaars en gebruikers hebben nu een nieuw topmodel van Google om te vergelijken met de beste systemen van Anthropic en OpenAI.
-
Anthropic brengt Claude Fable 5.2 en Mythos 5.2 uit en verlaagt API-prijzen met 20%
Anthropic introduceerde Claude Fable 5.2 en Mythos 5.2, die hetzelfde onderliggende model delen met verschillende veiligheidsmaatregelen en verbeteringen bieden in programmeren, redeneren en beeldherkenning. Fable is breed beschikbaar, terwijl Mythos beperkt is tot gescreende groepen uit cybersecurity en life sciences. Beide kosten nu $8 per miljoen input-tokens en $40 per miljoen output-tokens.
Waarom het ertoe doetOntwikkelaars krijgen een sterker programmeermodel voor een lagere prijs, en de gesplitste release laat zien hoe labs de krachtigste modellen afschermen voor gevoelige toepassingen.
