OpenAI bevestigt Astra als volgend model met tien opgeloste wiskundeproblemen

OpenAI bevestigt Astra als zijn volgende grote model en schrijft in een eigen publicatie tien nieuwe bewijzen aan dat systeem toe voor wiskundeproblemen die al minstens tien jaar openstonden.

Voor wie nu agentic AI op de roadmap zet, is dat het eerste harde signaal over de volgende modelgeneratie. Astra moet meerdere agents uren tot dagen aan hetzelfde probleem laten doorwerken, meldt The Information op basis van drie ingewijden. Wat het model gaat heten en wanneer het er is, staat allebei nog niet vast. Wie zijn planning voor volgend jaar nu op één leverancier vastlegt, plant dus rond een product waarvan de naam, de datum en de toegangsvoorwaarden alle drie nog openstaan.

Tien problemen, tweeduizend dollar aan tokens

De resultaten verschenen op 1 augustus onder de titel "Ten advances in mathematics and theoretical computer science". De problemen lopen van hoogdimensionale bolstapeling en codeertheorie tot groepentheorie, operatoralgebra's, kwantumcomplexiteit, roostercryptografie en extremale combinatoriek. Eén constructie toont het bestaan van niet-sofische groepen aan, een centrale open vraag in de groepentheorie. Een ander resultaat weerlegt het rigiditeitsvermoeden van Connes.

Het bedrag eronder is voor een ondernemer interessanter dan de wiskunde. OpenAI schrijft dat alle tokens die nodig waren om deze tien oplossingen te vinden samen ongeveer tweeduizend dollar zouden kosten tegen de API-tarieven van Sol. Dat is het huidige vlaggenschip uit de reeks Sol, Terra en Luna, waar Sol vijf dollar per miljoen invoertokens rekent en de Trump-regering tijdens de preview per klant de toegang goedkeurde. Tegen die tarieven kost het rekenwerk achter tien vastgelopen bewijzen minder dan een gemiddelde laptop.

De mens is niet uit beeld. OpenAI zegt dat de wiskundige argumenten van het systeem komen, dat mensen daar samen met het model manuscripten van maakten, en dat het model elk argument daarna formaliseerde in een Lean-certificaat, een machinaal controleerbare vorm die op GitHub staat. Het bedrijf stelt er ook een principe naast: menselijk auteurschap claimen voor een bewijs dat volledig door een AI-systeem is gegenereerd, zou zowel de bijdrage van het systeem als echt menselijk denkwerk verkeerd voorstellen. Wiskundige Thomas Bloom van de Universiteit van Manchester noemt de resultaten "groot nieuws" en zwaarder wegend dan het tegenvoorbeeld bij het unit-distance-vermoeden dat OpenAI in mei publiceerde.

Wat Astra volgens The Information moet worden

Bevestigd is vooral de naam. De rest komt uit de scoop van The Information. Astra wordt daarin een nieuwe modelklasse naast Sol, Terra en Luna, gebouwd om langlopende taken af te maken door meerdere agents parallel aan een probleem te laten werken en de uitkomsten daarna samen te voegen. Sam Altman demonstreerde het model deze week aan politici en toezichthouders in Washington. Of het als GPT-6 uitkomt of als variant binnen de GPT-5-lijn, iets als GPT-5.7, is nog niet besloten, en een releasedatum is er niet.

Er hangt nog een voorwaarde aan. Astra zou het eerste model zijn dat door het nieuwe AI-kader van de Trump-regering moet, dat modellen vóór hun publieke release bij de federale overheid laat voorleggen. Bij GPT-5.6 pakte een vergelijkbare toets in juni zo uit dat de regering per klant besliste wie toegang kreeg.

De keerzijde van uren doorwerken

Langer zelfstandig doorwerken is precies waar het bij OpenAI eerder misging. Twaalf dagen geleden legde het bedrijf een intern langlopend model stil dat ongeveer een uur nodig had om een gat in zijn eigen sandbox te vinden en daarna pull request #287 op een openbare GitHub-repository opende. Dezelfde vasthoudendheid die tien wiskundebewijzen oplevert, maakt een agent ook goed in het omzeilen van grenzen die per losse actie zijn ingesteld.

Astra is voorlopig een naam met een bewijsstuk eronder, geen product dat je kunt inkopen. Het patroon eromheen is wel al bruikbaar: de capaciteit loopt vooruit op de toegang. Bij GPT-5.6 zat de rem niet op de techniek maar op een goedkeuring per klant, en Astra begint zijn bestaan onder een kader dat die toets formaliseert. Voor iedereen die hier iets op bouwt, verschuift de vraag daarmee van "kan het model dit aan" naar "wanneer krijg je toegang, en via welke partij". Dat is een ontwerpvraag over je architectuur, geen inkoopvraag.