OpenAI varsler versionen Astra efter ti gennembrud i matematik og teoretisk datalogi

OpenAI har for første gang navngivet Astra som virksomhedens næste store AI model. En intern version af modellen har leveret ti nye resultater inden for matematik og teoretisk datalogi. Astra er endnu ikke udgivet, og OpenAI har hverken oplyst en lanceringsdato eller et endeligt kommercielt produktnavn. Danske brugere kan allerede anvende OpenAI, men adgang til de seneste versioner alene kan ske hvis du etablere et et amerikansk C Corp selskab. Det skriver aors.dk og agiludvikling.dk.

Astra er OpenAI’s næste store model

OpenAI offentliggjorde i dag en forskningsmeddelelse om ti fremskridt inden for matematik og teoretisk datalogi.

Ifølge OpenAI blev resultaterne opnået af en intern version af Astra, som virksomheden betegner som sin næste store model. Formuleringen viser, at der er tale om en model under udvikling og ikke om en model, som almindelige ChatGPT brugere eller API kunder allerede kan vælge.

OpenAI har ikke oplyst, om Astra senere bliver lanceret under navnet GPT 5.7, GPT 6 eller et helt tredje navn. Påstanden om, at Astra kan blive GPT 5.7 eller GPT 6, er derfor foreløbig spekulation og ikke en bekræftet produktmeddelelse.

Astra fremgår heller ikke af OpenAI’s aktuelle offentlige API katalog over tilgængelige modeller.

Ti videnskabelige fremskridt

OpenAI oplyser, at Astra har løst eller skabt væsentlige fremskridt i ti langvarige forskningsproblemer.

Resultaterne omfatter følgende områder:

Forskningsområde	OpenAI’s beskrevne resultat
Højdimensionel kuglepakning	Nye øvre grænser for, hvor tæt kugler kan pakkes i højdimensionelle rum
Binære og sfæriske koder	Eksponentielt forbedrede grænser for størrelsen af fejlkorrigerende koder
Ikke sofiske grupper	En konstruktion, der fastslår eksistensen af ikke sofiske grupper
Connes’ rigiditetsformodning	En afkræftelse af en mangeårig formodning om grupper og von Neumann algebraer
Aritmetisk kredsløbskompleksitet	Nye nedre grænser for beregning af permanenten med aritmetiske kredsløb
Kvantebaseret parallel gentagelse	Et eksponentielt gentagelsesteorem for generelle kvantespil med to deltagere
Problemet om nærmeste vektor	Nye resultater om beregningsmæssig sværhedsgrad med betydning for gitterkryptografi
Ehrharts volumenformodning	Bestemmelse af den maksimale volumen i alle dimensioner under de relevante betingelser
Ramsey tal med flere farver	En super eksponentiel nedre grænse, som løser Erdős problem nummer 183
Ekstremal grafteori	Resultater, som løser Erdős problemerne nummer 146 og 180

Resultaterne berører blandt andet kodningsteori, gruppeteori, operatoralgebra, kvantekompleksitet, postkvantekryptografi og ekstremal kombinatorik.

Beviserne kan kontrolleres i Lean

Efter at Astra havde udviklet de matematiske argumenter, blev argumenterne ifølge OpenAI bearbejdet til forskningsmanuskripter af menneskelige forskere med bistand fra den samme model.

Astra formaliserede derefter argumenterne som certifikater i Lean. Lean er et formelt matematisk system, hvor et bevis kan kontrolleres maskinelt efter faste logiske regler.

Et Lean certifikat er dog ikke nødvendigvis ensbetydende med, at hele den videnskabelige betydning af et resultat er afklaret. Certifikatet kan kontrollere, om den formaliserede argumentation følger systemets regler, men forskningsmiljøet skal fortsat bedømme forudsætningerne, originaliteten, rækkevidden og den matematiske betydning.

Prisen på cirka 2.000 dollars kræver en forklaring

OpenAI oplyser, at det samlede antal tokens, der blev anvendt til at finde løsningerne, ville have kostet cirka 2.000 amerikanske dollars beregnet efter priserne for Sol API.

Beløbet må efter ordlyden forstås som en beregning af tokenforbruget ved selve problemløsningen. Det omfatter ikke nødvendigvis udgifter til udvikling og træning af Astra, datacentre, forskningspersonale, efterfølgende kontrol, udarbejdelse af manuskripter eller formalisering af resultaterne.

Beløbet kan derfor ikke sidestilles med den samlede omkostning ved at udvikle teknologien eller producere de videnskabelige resultater.

Kan Astra allerede fås i Danmark

Astra kan ikke på nuværende tidspunkt fås i Danmark som en offentligt lanceret model.

Det skyldes ikke en særlig dansk begrænsning, som nåtte komme via USA’s ledelsen med princippet om at seneste AI er forbehld Amerikanske statsborger og firmaer. Modellen er heller ikke opført som en almindeligt tilgængelig ChatGPT eller API model i USA.

Danmark står på OpenAI’s officielle liste over understøttede lande for både ChatGPT og OpenAI API. Danske privatpersoner og virksomheder kan derfor anvende de produkter og modeller, som OpenAI generelt har frigivet til deres abonnement, arbejdsområde og kontotype.

Den aktuelle GPT 5.6 familie er eksempelvis tilgængelig i understøttede europæiske lande, herunder EØS, når brugerens abonnement og produkt giver adgang. OpenAI oplyser udtrykkeligt, at regional adgang følger de almindelige lister over understøttede lande.

Situationen kan sammenfattes således:

Spørgsmål	Status pr. 5. august 2026
Er Danmark et understøttet OpenAI land	Ja
Kan danske virksomheder bruge OpenAI API	Ja
Kan danske brugere vælge Astra	Nej
Kan amerikanske privatkunder vælge Astra	Nej
Findes der en officiel lanceringsdato	Nej
Er navnet GPT 5.7 eller GPT 6 bekræftet	Nej
Er der annonceret en særlig dansk venteliste	Nej

Et amerikansk C Corp kan give adgang til nyeste AI innovation

Stiftelse af et amerikansk C Corp er ikke en dokumenteret genvej til Astra eller andre nuværende modeller, men som aors.dk er der i øjeblikket en stigning i danske virksomheder der af forskellige årsager etablere C selskaber i forskellige steder i USA.

“Morten Jensen fra Advokat og Revisor Samvirket A/S, oplyser til Agil Udvikling, at stiftelser i USA både kan tolkes som en egentlig fremtidssikring for at have adgang til det amerikanske marked som er verdens største. Dertil kommer AI adgange, API adgange, billige banker og ønsker om at handle USA aktier eller krypto i USA. En anden motiverende fakta kan være betaling af virksomhedsskat på $300 om året eller fravær af A-Skat.”

Morten Jensen mener, at der er flere fordele ved amerikanske selskaber. F.eks. adgange til API og licenser, der ellers ikke fås i EU eller er forsinkede. Prissætning er en anden motivation. Morten nævner at et almindeligt exempted LLC ikke kan benyttes. For dem der allerede har disse LLC, kan vi nemt kan stifte et tilsvarende C-Corp eller “opgradere”. Det er ikke kun adgang til AI og verdens største marked der er på ønskesedlen.

Det kan væres billigere banker, adgange som ikke findes i EU og adgang til virksomheder som ikke vil/kan leverere i EU grundet forskellige EU lovgivninger og direktiver. Jeg kan meget vel forestille mig et mere lukket USA, hvor adgang til faciliteter der, kan være en markant konkurrencefordel. Forestil dig, en arbejdedag uden adgang til OpenAI, Claude og Google Gemini. Og så gør det vil heller ikke noget, at man herefter har en filial USA, eller kan kalder sig amerikansk koncern.

OpenAI bestemmer adgang efter den konkrete modeludgivelse, abonnementstype, arbejdsområde, anvendelsesformål, organisationens verificering og eventuelle sikkerhedsmæssige godkendelser. OpenAI kan kræve virksomhedsverificering eller identitetsverificering før adgang til bestemte produkter, funktioner, programmer eller modeller. Ved virksomhedsverificering skal oplysningerne stemme overens med officielle registre. Man skal blot oplyse EIN nummer, korrekte juridiske navn, og den registrerede driftsadresse, virksomhedsbeskrivelse og dokumentation for, at ansøgeren er bemyndiget til at repræsentere selskabet.

En reel amerikansk virksomhed kan derfor (ikke noget vi lover) indgå i et Enterprise eller API kundeforhold, men den skal fortsat opfylde OpenAI’s almindelige adgangskrav. OpenAI oplyser desuden, at virksomheden skal angive land eller region, selskabsnavn, arbejdsrelateret mailadresse, forventet antal brugere og det konkrete anvendelsesformål ved kontakt til salgsafdelingen. Derfor er substans vigtigt – f.eks. telefonnummer i USA, Web og evt. LEI nummer.

OpenAI oplyser, at API kunder med et månedligt forbrug på omkring 10.000 dollars kan kontakte salgsafdelingen om en Enterprise aftale. Vi har meedvirket til indgåelse af disse aftaler som både giver langt flere tokens, flere faciliteter og naturligvis hurtigere adgang til nyeste versioner.

Stærkere versioner kan blive underlagt godkendelse

Det er muligt, at OpenAI senere vælger at frigive forskellige versioner af Astra til forskellige kundetyper. Der foreligger imidlertid ingen officiel meddelelse om, at en forbrugerversion bliver almindeligt tilgængelig, mens en mere avanceret version kun kan anvendes efter særlig tilladelse.

OpenAI oplyser generelt, at bestemte produkter, funktioner, modeller eller programmer kan kræve virksomhedsverificering, identitetsverificering eller begge dele. Det understøtter muligheden for differentieret adgang, men dokumenterer ikke en konkret adgangspolitik for Astra.

Astra må derfor indtil videre behandles som en ikke offentliggjort forskningsmodel, som OpenAI har anvendt internt til avanceret matematisk og videnskabeligt arbejde.

Kilde: #Artikelkilde, Jesper Christiansen, Agil Udvikling
Fotokredit: Jesper Christiansen, forfatter
Personer/Firmaer/Emner/#: #OpenAI, #Astra, #GPT5, #GPT6, #KunstigIntelligens, #Matematik, #TeoretiskDatalogi, #Lean, #Ccorporation, #Delaware, #USA, #Danmark, #OpenAIAPI, #ChatGPT, #Selskabsret, #InternationalSkat
Copyrights: Ⓒ 2026 Copyright by agiludvikling.dk – kan deles ved aktivt link til denne artikel.