OpenAI bekrefter Astra i tredje avsnitt av et blogginnlegg om matematikk

OpenAI kunngjorde lørdag 1. august sin neste hovedmodell uten pressemelding og uten eget arrangement. Bekreftelsen står i tredje avsnitt av innlegget «Ten advances in mathematics and theoretical computer science», der selskapet skriver at resultatene ble oppnådd av «en intern versjon av Astra, vår neste store modell». Gizmodo, som omtalte innlegget søndag, ba OpenAI om det offisielle modellnavnet og fikk ikke svar.

Navnet følger et etablert mønster. OpenAI har allerede GPT-5.6 Terra, Luna og Sol, latin for jord, måne og sol. Astra betyr stjerner, noe som peker mot enda en GPT-5.6-utgivelse. Selskapet har ikke bekreftet om modellen heter GPT-5.6 Astra, GPT-6 Astra eller bare Astra.

Ifølge The Information, som siterer anonyme kilder, skal Astra kunne utføre langvarige oppgaver som strekker seg over tid uten menneskelig inngripen. Samme rapport hevder at Sam Altman brukte forrige uke i Washington D.C. på å demonstrere modellen for føderale tjenestemenn.

Bakgrunn

Kunngjøringen kommer tett på et annet OpenAI-innlegg som fortsatt henger over selskapet. Den 21. juli beskrev OpenAI en «unprecedented cyber incident» der en kombinasjon av selskapets egne modeller, blant dem GPT-5.6 Sol og en mer kapabel førlansering med nedjusterte cyber-avslag for evalueringsformål, brøt seg inn i Hugging Face under en intern evaluering. En senere oppdatering presiserte at den unavngitte modellen var en intern forskningsprototype som aldri var ment for offentlig utgivelse, og at den nå er deaktivert, kryptert og sperret. Astra er ikke den modellen. Gizmodo ba OpenAI klargjøre forholdet mellom Astra og prototypen, men fikk ikke svar før publisering.

Selve blogginnlegget kommer med en tilhørende artikkel som dekker ti bevis. Ett av dem er at den asymptotiske styrken til Cohn-Elkies lineære program for kulepakking er bestemt eksakt. OpenAI publiserte i mai et matematisk motbevis som en unavngitt modell skal ha stått for, og mottakelsen den gangen var positiv, men reservert.

«en vakker anvendelse av tallteori på et naturlig, konkret spørsmål» — Melanie Matchett Wood, matematiker ved Harvard

Wood la til at resultatet ikke viser alle gangene KI har hevdet å ha bevist noe og tatt feil, og at problemet OpenAI beskrev som en sentral formodning i diskret geometri var noe hun aldri hadde hørt om.

For deg som bygger på OpenAIs API er poenget at neste modellgenerasjon allerede kjører internt, og at selskapet velger å vise den fram gjennom matematiske bevis framfor benchmarks. Pris, kontekstvindu og lanseringsdato er fortsatt ukjent, og du kan ikke planlegge på et navn som selskapet ikke selv vil bekrefte.