15. September 2026
Forskere hos Nvidia har gjennom prosjektet OpenShell delt erfaringer med å bruke formelle metoder – matematiske teknikker for å bevise at programvare oppfører seg nøyaktig etter spesifikasjonene – til å kontrollere AI-agenter (AI-systemer som kan utføre handlinger selvstendig). Ved å verifisere agentenes handlingsmønstre matematisk, forsøker man å eliminere uforutsigbar oppførsel i kritiske systemer. Dette markerer et steg bort fra prøving og feiling mot mer deterministisk styring av autonome agenter. [Kilde: Hacker News]
Google jobber med å bevege seg forbi tradisjonell tekstoversettelse til modeller som forstår verdens levende språk nøyaktig slik de faktisk uttrykkes. Målet er å fange opp språklige nyanser og dynamisk kontekst fremfor å bare erstatte ord for ord. [Kilde: Google AI Blog]
Den norske KI-forskeren Ishita Barua reagerer på utspillene fra internasjonale teknologiledere som tar til orde for å bremse utviklingen av kunstig intelligens. Barua kaller utspillene for fryktretorikk og mener det er grunn til å stille spørsmål ved selskapenes motiver. Selskapene som driver utviklingen fremover, står tross alt fritt til å stoppe sine egne prosjekter dersom de mener risikoen er for høy. [Kilde: Digi.no]
Digitaliseringsministeren opplyser at regjeringen vurderer et forbud mot Metas smartbriller med integrerte kamera- og AI-funksjoner. Bekymringen er knyttet til at brillene kan være skadelige, særlig med tanke på personvern og uønsket overvåking i det offentlige rom. [Kilde: NRK Teknologi]
OpenAI bekrefter at de i flere uker har vært i samtaler med konkurrentene Anthropic og Google DeepMind om felles sikkerhetstiltak rundt kunstig intelligens. Samtalene pågår samtidig som Donald Trumps politiske rådgivere avviser sikkerhetsbekymringer og i stedet presser på for maksimal utviklingstakt for å holde tritt med Kina. [Kilde: TechCrunch AI]
Oppstartsselskapet Profound har hentet 180 millioner dollar i en Series D-finansieringsrunde, noe som verdsetter selskapet til 1,8 milliarder dollar kun syv måneder etter forrige kapitalinnhenting. Selskapet opererer innen AEO (Answer Engine Optimization – teknikker for å sikre at en bedrifts innhold blir valgt og sitert av AI-søkeverktøy), et marked som opplever eksplosiv vekst i takt med at tradisjonelle søkemotorer utfordres av KI-modeller. [Kilde: TechCrunch AI]