Tidslinje

AI idag: GPT-5.6 bevisar matematisk konjektur och OpenAI möter juridiska stormar

Den 12 juli 2026 är en dag som kommer att minnas av två diametralt olika skäl: GPT-5.6 Sol Ultra har producerat ett formellt bevis för den länge olösta Cycle Double Cover-konjekturen — samtidigt som OpenAI befinner sig under hårt juridiskt tryck från både nyhetsorganisationer och nu Apple.

Nyheter

Det mest uppseendeväckande är att OpenAIs GPT-5.6 Sol Ultra enligt en publicerad PDF-rapport har genererat ett bevis för Cycle Double Cover-konjekturen, ett olöst matematikproblem inom grafteori som forskare kämpat med i decennier. Om beviset håller för granskning markerar det ett historiskt genombrott för AI inom formell matematik.

Samtidigt tynger juridiken tungt. Apple har stämt OpenAI för påstått stöld av affärshemligheter, en eskalering som signalerar att spänningarna mellan teknikjättarna är på väg in i domstolssalar. Ännu allvarligare för OpenAI kan anklagelserna från NYT vara: enligt Ars Technica ska OpenAI ha fabricerat oförmåga att söka i träningsdata och dolt miljarder loggposter i sin pågående upphovsrättstvist med nyhetsorganisationer — ett potentiellt fatalt processuellt missteg. I Sverige samlades ledande politiker och näringsliv med AI Sweden vid Almedalen för att diskutera landets AI-strategi framöver.

Verktyg & lanseringar

OpenAI har lanserat två nya modellvarianter under GPT-5.6-paraplyet med tydligt differentierade profiler. GPT-5.6 Luna är optimerad för hälsorelaterat resonemang och uppges prestera bättre än GPT-5.5 på dessa uppgifter — till en kostnad som är 25 gånger lägre, vilket öppnar dörren för bredare medicinsk tillämpning. GPT-5.6 Sol Ultra å sin sida är den mer kraftfulla varianten och är nu utsedd till föredragen modell i Microsoft Copilot 365, trots ryktena om en potentiell uppbrytning av Microsoft-OpenAI-partnerskapet.

Google expanderar sina Managed Agents i Gemini API med stöd för bakgrundsuppgifter och fjärr-MCP, vilket stärker ramverket för autonoma agentflöden. På kirurgifronten genomfördes världens första operation på levande grisar med humanoidrobotar styrda av kirurger på distans — ett tidigt men konkret steg mot fjärrkirurgi med AI-assistans.

Vad det betyder

GPT-5.6:s matematikbevis, om det verifieras av oberoende matematiker, är inte bara en teknisk milstolpe — det förändrar synen på vad stora språkmodeller faktiskt kan åstadkomma inom formellt resonemang. Det är en signal om att AI börjar röra sig från imitation till genuint kunskapsskapande.

Men det juridiska trycket mot OpenAI är minst lika viktigt att följa. Anklagelserna om dold bevisning i upphovsrättsmålet, kombinerat med Apples nya stämning, skapar en situation där företagets trovärdighet och handlingsfrihet kan begränsas kraftigt under kommande månader. Hur dessa rättsliga processer utfaller kommer att forma villkoren för hela AI-industrin — inte minst för svenska aktörer och europeiska företag som bygger produkter ovanpå dessa modeller.