OpenAI heeft zijn volgende grote modelreeks, Astra, via 10 opgeloste wiskundeproblemen, voor het eerst getoond, precies op het moment dat Chinese open‑weight‑rivalen razendsnel een groeiend deel van het wereldwijde AI‑verkeer naar zich toetrekken.
Kernpunten:
- OpenAI onthulde Astra op 1 augustus in een researchartikel met oplossingen voor 10 wiskundeproblemen die minstens tien jaar onopgelost waren.
- Het model heeft nog geen releasedatum, geen definitieve naam en moet eerst een nieuwe federale toetsing doorstaan voordat gebruikers erbij kunnen.
- Chinese open‑weight‑modellen verwerken inmiddels het merendeel van de gerouteerde tokens, al vloeit vrijwel alle besteding nog steeds naar Amerikaanse labs.
Astra kraakt 10 openstaande wiskundeproblemen
Het bedrijf doopte het model op 1 augustus in een onderzoeksblog over wiskunde, niet via een klassieke productlancering.
Een interne versie van Astra leverde nieuwe resultaten op voor 10 problemen in de wiskunde en de theoretische informatica, die elk al minstens tien jaar openstonden.
OpenAI publiceerde een manuscript van 249 pagina’s en machine‑verifieerbare Lean‑4‑bewijscertificaten op GitHub onder een open licentie.
De blikvanger is de eerste expliciete constructie van een niet‑sofic groep, een vraagstuk in de groepentheorie dat sinds 1999 onopgelost was. Onderzoekers schatten dat de tokens die nodig waren voor alle 10 oplossingen bij de huidige API‑tarieven van Sol, het vlaggenschipmodel van het bedrijf, ruwweg 2.000 dollar zouden hebben gekost.
Lees ook: OpenAI vloog influencers naar een luxe boerderijresort, hun volgers haalden fel uit
Wiskundigen zetten vraagtekens bij Astra’s bewijsclaims
Thomas Bloom, wiskundige aan de University of Manchester en beheerder van een publieke database met Erdos‑problemen, noemt het werk groot nieuws en schaalt het hoger in dan het meetkundige resultaat dat OpenAI in mei presenteerde.
Hij verwerpt het idee dat machines zijn vakgebied zouden vervangen, en wijst erop dat het systeem is getraind op meer dan een eeuw aan publicaties van wiskundigen. Noam Brown, onderzoeker bij OpenAI, zegt dat het team ook meerdere andere beroemde vraagstukken heeft geprobeerd — en niet opgelost. Geen enkel Millennium Prize‑probleem is gesneuveld, maar volgens hem vergden de pogingen relatief weinig rekenkracht en markeren ze een belangrijke stap in wetenschappelijke redeneervaardigheden.
Sam Altman lichtte het systeem vorige week alvast toe aan Amerikaanse beleidsmakers in Washington. Astra wordt naar verwachting het eerste model dat onder een nieuw federaal toetsingskader wordt beoordeeld. Het bedrijf heeft nog geen releasedatum geprikt en evenmin beslist of de reeks onder de naam GPT‑6 uitkomt of als een nieuwe variant binnen GPT‑5.
Chinese open weights herschikken de vraag naar tokens
Die timing is strategisch, omdat het open‑weight‑kamp niet langer wacht tot Amerikaanse labs de technologische voorhoede uittekenen. Nvidia‑topman Jensen Huang kreeg vorige maand meerdere Amerikaanse techreuzen achter een open‑weights‑agenda, terwijl Anthropic‑CEO Dario Amodei juist pleitte voor verplichte veiligheidstesten en strengere exportcontroles op chips.
Moonshot AI lanceerde in juli Kimi K3 met 2,8 biljoen parameters en open weights, gepositioneerd als het grootste open model tot nu toe.
Op OpenRouter daalde het aandeel tokens dat naar Amerikaanse modellen werd gerouteerd fors: van grofweg 70% in juni 2025 naar circa 30% een jaar later. Amerikaanse labs strijken via een groot enterprise‑gateway in juni echter nog altijd zo’n 95% van de bestedingen op — en precies dat omzetgat is wat Astra moet verdedigen.
Lees verder: Dogecoin test de steun rond $0,05 voor een mogelijke sprint naar $0,12
