OpenAI's Astra lost tien wiskundeproblemen op voor 2000 dollar

Samenvatting:

• Een interne versie van Astra, OpenAI's volgende grote modelfamilie, loste tien wiskunde- en informaticaproblemen op waar vakgenoten al minstens tien jaar op vastliepen.
• De rekening voor alle tien bewijzen samen: minder dan 2000 dollar, tegen de huidige API-prijs van het Sol-model.
• Astra wordt straks als eerste model getest onder een nieuwe Amerikaanse overheidscontrole: een vrijwillige toets van dertig dagen voor een lab een model mag uitbrengen.
• Sam Altman liet het model deze week al zien aan Amerikaanse beleidsmakers in Washington, terwijl OpenAI nog twijfelt tussen GPT-6, GPT-5.7 of een aparte modelklasse.
• Wiskundige Thomas Bloom noemt het resultaat groot, geen wereldschokkende doorbraak.

Tien wiskunde- en informaticaproblemen waar niemand al minstens tien jaar uitkwam, in sommige gevallen veel langer. Dat legde een interne versie van Astra, OpenAI's volgende grote modelfamilie, deze week op tafel. De rekening voor alle tien bewijzen samen: minder dan 2000 dollar, tegen de huidige prijs van het Sol-model.

De onderwerpen liggen ver van elkaar: hoogdimensionale meetkunde, codeertheorie, groepentheorie, kwantumcomplexiteit, roostercryptografie en extremale combinatoriek. Eén resultaat bewijst dat niet-sofische groepen bestaan, een openstaande vraag in de groepentheorie. Het is abstracte wiskunde die zelfs voor vakgenoten zwaar leesvoer is, maar de erkenning komt van buiten OpenAI.

"Maybe not bigger than a proof of unit distance would have been, but in terms of constructions, this is big."

— Thomas Bloom, wiskundige aan de University of Manchester (bron)

Geen wereldschokkende doorbraak dus, in de woorden van de wiskundige zelf die het beoordeelde. Wel een bevestiging dat de aanpak werkt.

Hoe Astra aan tien bewijzen komt voor de prijs van een laptop

Astra is geen opvolger van Sol, Terra en Luna, de modellen die OpenAI nu verkoopt. Het is een aparte lijn, gebouwd om agents lang te laten doorwerken aan één probleem: uren, soms dagen. Meer rekentijd tijdens het gebruik zelf, in plaats van een groter model vooraf trainen.

"Sadly, no Millennium Prize Problems (yet)... It's possible to push test-time compute much further."

— Noam Brown, onderzoeker bij OpenAI (bron)

Dat "nog niet" is veelzeggend. Geen Millennium-prijsvraag opgelost, de zes onopgeloste problemen met elk een miljoen dollar aan prijzengeld. Wel tien kleinere, maar échte doorbraken, voor een bedrag dat een MKB-bedrijf aan een teamlunch uitgeeft. Als die rekensom klopt bij een volgende ronde, verschuift er iets aan wat onderzoek precies nog kost.

Neem het met een korrel zout: het is OpenAI's eigen rekenwerk, over zijn eigen model, met de proeven die het lab zelf uitkoos. Onafhankelijke verificatie van alle tien de bewijzen was er bij publicatie nog niet.

Washington kijkt eerst mee

Het opvallendste nieuws zit niet in de wiskunde, maar in wie er straks eerst mag meekijken. Astra wordt het eerste model dat getest wordt onder een nieuw Amerikaans toetsingskader: een vrijwillige procedure waarbij de overheid tot dertig dagen toegang krijgt tot een grensverleggend model voordat het publiek mag. President Trump tekende de opdracht daartoe op 2 juni, met 1 augustus als eerste harde datum voor het kader.

Sam Altman demonstreerde Astra deze week al aan senatoren en toezichthouders in Washington. Een releasedatum is er niet. Of het model straks GPT-6 heet, als GPT-5.7 verschijnt, of als eigen klasse naast Sol, Terra en Luna blijft staan, heeft OpenAI zelf nog niet besloten.

Voor je eigen roadmap verandert er vandaag niets. Astra is er nog niet, en een releasedatum ontbreekt. Wat wel verandert, is het patroon erachter: voor het eerst moet een Amerikaans lab een grensverleggend model eerst door een overheidstoets loodsen voordat het naar klanten mag. Bouw je processen op het allernieuwste model van een lab, reken vanaf nu een controle-stap in je planning in, niet alleen een aankondiging.

Volgende Stap

Nieuwe modelfamilies klinken groot, maar de vraag die telt is altijd dezelfde: wat verandert er in wat je morgen kunt inkopen, en tegen welke prijs? Wil je die vertaalslag voor je eigen organisatie maken zodra Astra wél beschikbaar komt? Neem contact op.