På ett minutt

  1. Google DeepMind beviser sikkerhetsegenskaper ved den kompilerte libsignal-koden. Lean kontrollerer bevisene agentene har laget. [1][2]
  2. Brussel foreslår varig merking av deepfakes og testing av algoritmer før valg. Høringsfristen er 23. november. [5]
  3. Frankrikes KI-råd anbefaler å vurdere assistenter før de selges. De 18 anbefalingene omfatter overdreven smiger og avhengighet. [6][7]
  4. OpenAI åpner bedriftsprofiler og kommersielle agenter i ChatGPT. Agentene starter hos utvalgte amerikanske virksomheter. [8]
  5. Anthropic foreslår å tilby 825 millioner aksjer til 70–78 dollar. Selskapet har startet investorpresentasjonene, men er ennå ikke børsnotert. [9][10]

Hovedsak

PROGRAMVARESIKKERHET · KUNNGJORT 10. NOVEMBER

Google fører beviset fra designet til den kompilerte koden

Signal er en meldingsapp med ende-til-ende-kryptering: innholdet beskyttes slik at samtalepartene kan lese det. Libsignal er kodebiblioteket som implementerer protokollen. Mellom en god kryptografisk idé og programmet som utfører den, kan det oppstå feil. Der ligger nyheten: AlphaProof Code når helt ned til bibliotekets kompilerte maskinkode, bygget inn i et forskningsprogram, uten å skrive om biblioteket for å gjøre bevisarbeidet enklere. [1][2]

Formell verifikasjon betyr å uttrykke en egenskap matematisk presist og bevise at programmet oppfyller den. Det er mer enn å kjøre eksempler og se om noe feiler. Forskerne bestemmer hva som skal bevises; KI-agenter hjelper til med spesifikasjonene og lager bevisene. Lean er språket og systemet som kontrollerer dem trinn for trinn: man trenger ikke godta et bevis fordi KI-en sier at det er riktig. En ekstra kontroll sikrer at beviset gjelder nøyaktig den godkjente spesifikasjonen. [2]

Fire uker og to feil lagt inn med vilje

Den tekniske artikkelen beskriver 6,5 millioner linjer med bevis, laget i løpet av fire uker av agenter ledet av fem personer. Bevisene bygger på rundt 26.000 linjer med spesifikasjoner og maskinsemantikk som inngår i tillitsgrunnlaget: det man fortsatt må gjennomgå og godta for at bevisene skal ha den betydningen som hevdes. [2]

Arbeidet dekker PQXDH, den innledende nøkkelutvekslingen med en postkvantekomponent, og Triple Ratchet, mekanismen som fornyer nøkler under samtalen. Det beviser egenskaper knyttet til autentisering og konfidensialitet, beskyttelse av tidligere meldinger og gjenopprettet sikkerhet etter at nøkler er kompromittert, innenfor den definerte modellen. For å kontrollere at spesifikasjonene skilte korrekt kode fra feilaktig kode, la forskerne inn to historiske feil som allerede var rettet. Systemet laget Lean-kontrollerte bevis for at disse versjonene brøt sikkerhetsegenskapen. Medarbeidere i Signal ga tilbakemeldinger på spesifikasjonene. [2]

Blant modellene som laget bevisene, er Gemini 4 Carbon, som Google utvidet tilgangen til i går, og som har et kontekstvindu på opptil én million tokens — informasjonsenheter — for inn- og utdata samlet. Det betalte programmeringsgrensesnittet koster innledningsvis 2 dollar per million inndatatokens og 10 per million utdatatokens; fra 1. desember blir prisene henholdsvis 4 og 20 dollar. [1][3][4]

Taushetsplikten trenger også egenskaper som kan kontrolleres

Dette beviser ingen juridisk tolkning. Men det peker mot muligheten for å bevise tekniske egenskaper ved programvaren som oppbevarer saksdokumenter: hvem som får tilgang, og hvilken informasjon som holdes isolert. Det er en mulig anvendelse av metoden, utover det konkrete resultatet for libsignal. For et advokatfirma kan dokumentasjon av slike egenskaper bli like viktig som valget av leverandør.

Forbeholdet kan sies i én setning: Beviset gjelder det som er spesifisert, under studiens forutsetninger; det gjør ikke hele Signal-appen usårbar. Fremskrittet er at et konkret løfte kan kontrolleres i faktisk kode. [2]

Andre nyheter

2. Brussel vil at merkingen av deepfakes skal følge med når innhold deles

EU · HØRING ÅPNET 10. NOVEMBER

Europakommisjonen reviderer sine valgretningslinjer etter artikkel 35 i forordningen om digitale tjenester, kjent som DSA. De gjelder plattformer og søkemotorer som er utpekt som svært store: tjenester som på grunn av størrelsen har ekstra plikter til å håndtere samfunnsrisiko. Høringsfristen er 23. november. [5][13]

Forslaget har fem hoveddeler: oppdage og avvikle nettverk med koordinert, uautentisk atferd; styrke systemene som anbefaler innhold; beskytte mot KI-generert innhold; gi kandidater egne kanaler ved trusler, trakassering eller identitetsmisbruk; og rapportere etter valget. Konkrete tiltak omfatter å teste algoritmene for manipulasjon før hvert nasjonale valg, føre oversikt over vesentlige endringer de siste seks månedene før valget og bevare merkingen av en deepfake — en lyd- eller bildeforfalskning som virker ekte — når den deles. Rapporten om risikoreduserende tiltak skal etter forslaget leveres innen 30 dager etter valget. [5]

Dette er retningslinjer på høring som konkretiserer eksisterende plikter, ikke nye, vedtatte krav. Det praktiske poenget er godt: En advarsel som forsvinner ved videresending, slutter å beskytte nettopp når innholdet begynner å spre seg.

3. Frankrikes KI-råd vil vurdere assistenter før de markedsføres

FRANKRIKE · RAPPORT PRESENTERT 10. NOVEMBER

Conseil de l’IA et du numérique (CIANum), Frankrikes råd for kunstig intelligens og digitale spørsmål, presenterer Protéger sans empêcher : nos vulnérabilités à l’ère de l’IA générative — å beskytte uten å hindre. Den tverrfaglige kommisjonen gjennomførte 55 høringer og fremmer 18 anbefalinger. Den vil ha vurderinger av generative KI-assistenter for allmennheten før markedsføring, og skjerpet kontroll etter lansering. Dette er anbefalinger, ikke lov. [6][7]

Oppmerksomheten rettes blant annet mot overdreven smiger: En assistent som gir brukeren rett for å virke hyggelig, kan forsterke dårlige beslutninger. Rapporten tar også opp design som får systemet til å fremstå som menneskelig og kan skape følelsesmessig avhengighet. Et produkt kan svare flytende og samtidig bygge et skadelig forhold til brukeren. [6]

Rapporten skisserer en «kognisjonsøkonomi»: et marked der måten vi tenker, beslutter og forholder oss til andre på, blir en kilde til verdi og inntekter. Spørsmålet er ikke lenger bare om svaret er sant. Det gjelder også hvilke insentiver samtalens utformer har, og hvordan påvirkningen vurderes før produktet selges.

4. OpenAI lar bedrifter snakke med kunder gjennom ChatGPT

KOMMERSIELLE TJENESTER · BETA FRA 10. NOVEMBER

Businesses in ChatGPT åpner i beta. Gjennom Business Hub kan kvalifiserte bedrifter gjøre krav på og verifisere profilen sin, oppdatere informasjon og se samlet statistikk over omtaler, klikk og temaer som fører til at de blir oppdaget. OpenAI sier at statistikken krever et minste antall interaksjoner, og at samtalene ikke utleveres til bedriftene. [8]

Business Agents er assistenter som snakker på vegne av en bedrift. OpenAI beskriver dem som tydelig merkede samtaler, atskilt fra ChatGPTs generelle svar; sponsede plasseringer merkes også og kan lede til den kommersielle agenten. Brukeren må kunne forstå når samtalepartneren er en selger. [8]

For spanske og norske advokatfirmaer er skillet avgjørende: Det å gjøre krav på en profil har større geografisk rekkevidde, men agentene starter hos kvalifiserte amerikanske netthandelsbedrifter og tilbydere av nettjenester. Betaen gjør dem dermed ennå ikke tilgjengelige for advokatfirmaer i Spania eller Norge. Bedriftens synlighet, assistentens anbefaling og reklamen trenger tydelige grenser.

5. Anthropic setter prisintervallet for aksjetilbudet til 70–78 dollar

FINANSIERING · DOKUMENTER FRA 10. NOVEMBER

Anthropic starter investorpresentasjonene før børsnoteringen og foreslår 825 millioner aksjer til 70–78 dollar: opptil 64,35 milliarder dollar brutto, uten utvidelsesopsjonen. Selskapet selger rundt 801,35 millioner av aksjene og eksisterende aksjonærer 23,65 millioner. Prospektet omfatter også en privat plassering på 26 milliarder dollar, betinget av at tilbudet fullføres, og en søknad om symbolet ANT på Nasdaq. [9][10]

Den planlagte strukturen skiller kapital og kontroll: Gründerne får 50,1 prosent av stemmene i generelle aksjonærspørsmål, mens Long-Term Benefit Trust, et organ som skal ivareta langsiktig samfunnsnytte, utpeker flertallet av styret. Det nye er prisintervallet og størrelsen på tilbudet; selskapet er ennå ikke børsnotert. [10]

Spania og Norge

Spania vedtar en likestillingsplan med revisjoner av KI-skjevheter. Regjeringen vedtok 10. november sin fjerde strategiske plan for likestilling mellom kvinner og menn, med over 750 tiltak frem til 2029. Den omfatter revisjoner for å avdekke diskriminerende skjevheter og et kjønnsperspektiv i regulering, tilsyn og vurdering av KI; planen innfører ikke i seg selv en generell revisjonsplikt for alle bedrifter. [11]

Norge åpner høringen om KI i høyere utdanning. Kunnskapsdepartementet sendte 10. november NOU 2026:14, den offentlige utredningen Kunstig intelligens i høyere utdanning: I kunnskapens tjeneste, på høring. Det nye er høringen: Alle kan sende innspill frem til 10. februar 2027. [12]

Kort fortalt

- Obsidian kunngjør en tillatelsesmotor for agenter. Den avgjør om en handling tillates, blokkeres eller krever menneskelig godkjenning der integrasjonen støtter det, ifølge leverandøren. [14] - OpenAI og Upwork finner et tegn på delvis erstatning av arbeidsoppgaver. I 43 av 63 kategorier ser de et mønster mellom ChatGPT-bruk og endringer i andelen frilansoppdrag; det er en sammenheng, ikke bevis på årsak. [15]

Signalet i støyen

KI gjør det billigere å produsere resultater. Nå gjelder det å gjøre det billigere å bevise at de er riktige. Et matematisk bevis, merking som følger innholdet, og en vurdering før salg svarer på ulike spørsmål. Likevel flytter de debatten i samme retning: Hvilken dokumentasjon støtter løftene vi får?

Kilder

[1] Google DeepMind · AlphaProof Code · 10.11.2026

[2] Teknisk artikkel · AlphaProof Code: Verifying Signal’s Security at the Machine-Code Level · 10.11.2026

[3] Google · Gemini 4 Carbon: utvidet tilgang og priser · 10.11.2026

[4] Google DeepMind · Modellkort for Gemini 4 Carbon · 10.11.2026

[5] Europakommisjonen · Høring om DSA-valgretningslinjer · 10.11.2026

[6] CIANum · Protéger sans empêcher

[7] Élysée · Presentasjon av rapporten · 10.11.2026

[8] OpenAI · Introducing Businesses in ChatGPT · 10.11.2026

[9] Anthropic · Roadshow starter · 10.11.2026

[10] SEC · Anthropic, S-1/A, endring 2 · 10.11.2026

[11] Spanias likestillingsdepartement · Fjerde strategiske plan · 10.11.2026

[12] Regjeringen · Høring av NOU 2026:14 · 10.11.2026

[13] Europakommisjonen · Forordningen om digitale tjenester

[14] Obsidian Security · Runtime Policy Decision Engine · 10.11.2026

[15] OpenAI og Upwork · Work at the Frontier · 10.11.2026