Alt der er sket

Tirsdag 28. juli

1 VæRKTøJER Formel verifikation gør AI-genereret kode pålidelig: 93 linjer specifikation i stedet for 1000+ linjer AI-kode Nyt Lean 4-projekt viser, hvordan man kan stole på AI-genereret kode uden at stole på AI'en 1 KILDER 28. jul. — FUNDING & OPKøB Recursive Superintelligence investerer 410 mio. dollars i AWS-compute – signalerer skift mod automatisering Strategisk aftale understreger, at compute-kapacitet bliver den primære omkostning for selvforbedrende AI-virksomheder 1 KILDER 28. jul. — FUNDING & OPKøB Fish Audio rejser 52 mio. dollars i seed-runde – 8 mio. brugere og 21 mio. dollars i ARR viser kommerciel skala Seed-runden signalerer, at markedet for syntetiske stemmer modnes hurtigt, og at open source-tilgangen kan betale sig. 1 KILDER 28. jul. — MODELLER Kimi K3: Moonshots MoE-model med 685 mia. parametre udfordrer DeepSeek på effektivitet og omkostninger Open-source arkitektur med 128.000 tokens kontekst kan presse priser og sætte ny standard for virksomheders AI-implementering 1 KILDER 28. jul. — MODELLER Kimi Delta Attention: Ny metode gør lange kontekster billigere ved kun at genberegne ændringer Moonshot AIs optimering reducerer beregningsomkostninger markant og gør modeller med million-tokens kontekstvindue mere praktisk anvendelige 1 KILDER 28. jul. — VæRKTøJER USAs største elnet kan afbryde datacentre for at undgå blackouts – ny risiko for AI-infrastruktur Nye regler giver operatører mulighed for midlertidigt at frakoble datacentre under spidsbelastning 1 KILDER 28. jul. — VæRKTøJER LangChain-opdateringer signalerer moden platform med fokus på kompatibilitet Hyppige versioner af kerne- og partner-pakker viser aktiv vedligeholdelse 9 KILDER 28. jul. — VæRKTøJER llama.cpp udsender syv builds på ét døgn – høj kadence signalerer moden open source AI-infrastruktur Hyppige opdateringer stiller krav om versionsstyring, men reducerer risikoen ved lokal AI-kørsel 9 KILDER 28. jul.