OpenAI heeft zijn volgende grote modelfamilie, Astra, gepresenteerd via 10 opgeloste wiskundeproblemen, juist op het moment dat Chinese open-weight‑rivalen een snelgroeiend deel van het wereldwijde AI‑verkeer naar zich toetrekken.
Belangrijkste punten
- OpenAI lichtte Astra op 1 augustus toe in een onderzoeksartikel met oplossingen voor 10 problemen die minstens tien jaar onopgelost waren.
- Het model heeft nog geen releasedatum, geen definitieve naam en moet eerst een nieuw federaal toetsingskader doorlopen voordat gebruikers ermee aan de slag kunnen.
- Chinese open-weight‑modellen verwerken inmiddels het merendeel van de gerouteerde tokens, al strijken Amerikaanse labs nog vrijwel alle bestedingen op.
Astra kraakt 10 openstaande wiskundeproblemen
Het bedrijf introduceerde de naam Astra op 1 augustus in een onderzoeksartikel over wiskunde, niet via een klassiek productannouncement.
Een interne versie van Astra leverde nieuwe resultaten op voor 10 vraagstukken in de zuivere wiskunde en de theoretische informatica, stuk voor stuk problemen die al minstens tien jaar onopgelost waren.
OpenAI publiceerde een manuscript van 249 pagina’s, plus in Lean 4 machine‑verifieerbare bewijscertificaten op GitHub onder een open licentie.
De opvallendste doorbraak is de eerste expliciete constructie van een niet‑sofic groep, een vraagstuk uit de groepentheorie dat sinds 1999 openstond. Onderzoekers schatten dat de tokens die nodig waren voor alle 10 oplossingen gezamenlijk rond de $2.000 zouden hebben gekost tegen de API‑tarieven van Sol, het huidige vlaggenschipmodel van het bedrijf.
Ook interessant: OpenAI vloog influencers naar een boerderijresort, hun volgers trapten keihard op de rem
Wiskundigen fileteren Astra’s bewijsclaims
Thomas Bloom, wiskundige aan de University of Manchester en beheerder van een publieke database met Erdos‑problemen, noemde het werk groot nieuws en schatte het belang hoger in dan het meetkunderesultaat dat OpenAI in mei presenteerde.
Hij verwerpt het idee dat machines zijn vakgebied overnemen, en wijst erop dat het systeem trainde op meer dan een eeuw aan wiskundige literatuur. Noam Brown, onderzoeker bij OpenAI, zegt dat het team ook op diverse andere beroemde vraagstukken is stukgelopen. Geen enkel Millennium Prize‑probleem bleek binnen bereik, al benadrukt hij dat elke poging relatief weinig rekenkracht vergde en spreekt hij van een grote stap voor wetenschappelijke redeneren met AI.
Sam Altman lichtte het systeem vorige week alvast in Washington toe aan wetgevers. Astra wordt naar verwachting het eerste model dat onder een nieuw federaal beoordelingskader valt. Het bedrijf heeft geen releasedatum geprikt en nog niet besloten of de familie als GPT‑6 wordt gepositioneerd of als een nieuwe GPT‑5‑variant.
Chinese open weights hertekenen de tokenmarkt
Die timing is cruciaal, omdat het open-weight‑kamp niet langer wacht tot Amerikaanse labs de grens van wat mogelijk is opnieuw trekken. Nvidia‑topman Jensen Huang schaarde vorige maand meerdere Amerikaanse techreuzen achter open‑weight‑modellen, terwijl Anthropic‑CEO Dario Amodei juist pleitte voor verplichte veiligheidstests en scherpere exportcontroles op chips.
Moonshot AI lanceerde in juli Kimi K3, met 2,8 biljoen parameters en open gewichten, naar eigen zeggen het grootste open model tot nu toe.
Op OpenRouter is het aandeel tokens dat naar Amerikaanse modellen wordt gerouteerd gezakt van grofweg 70% in juni 2025 naar circa 30% een jaar later. Toch ontvingen Amerikaanse labs in juni nog altijd zo’n 95% van de uitgaven via een groot enterprise‑platform, en precies dat omzetgat is wat Astra zal moeten verdedigen.
Lees ook: Dogecoin test steun op $0,05 vóór een mogelijke rally naar $0,12