OpenAI bevestigde op 1 augustus Astra als zijn volgende grote modelreeks, een nog niet vrijgegeven systeem dat tien wiskundeproblemen oploste, precies een week na de lancering van Anthropic’s Claude Opus 5.
Kernpunten:
- OpenAI bevestigde de naam Astra op 1 augustus in een onderzoeksbericht over tien opgeloste wiskundeproblemen.
- Astra orkestreert meerdere agents op één probleem, soms uren of dagen lang, en is nog niet uitgegeven en zonder lanceringsdatum.
- Claude Opus 5 verscheen op 24 juli, voor $5 en $25 per miljoen tokens, met een contextvenster van 1 miljoen tokens.
OpenAI Astra: modeldetails
OpenAI maakte de naam bekend in een onderzoeksartikel waarin een interne versie van Astra wordt gecrediteerd voor tien doorbraken in de wiskunde en de theoretische informatica – problemen die elk al minstens tien jaar openstonden. Het werk bestrijkt hoog-dimensionale meetkunde, coderingstheorie en kwantumcomplexiteit; één bewijs toont het bestaan van niet-sofische groepen aan.
De propositie draait eerder om duur dan om ruwe snelheid: Astra laat meerdere agents gecoördineerd aan één probleem werken, desnoods uren- of dagenlang.
Eerdere berichtgeving plaatste Astra naast de Sol-, Terra- en Luna-families, zonder definitieve releasedatum en zonder beslissing of het label GPT‑6 of GPT‑5.7 wordt. Sam Altman demonstreerde het systeem voor beleidsmakers in Washington, en de familie geldt als kanshebber om als eerste door een gepland federaal goedkeuringskader te worden beoordeeld.
Ook interessant: AI‑infrastructuur, wanhopige $1 mrd‑pivot van een flitskredietverstrekker naar datacenters
Claude Opus 5: prijzen en benchmarks
Anthropic introduceerde Claude Opus 5 op 24 juli, voor $5 per miljoen inputtokens en $25 per miljoen outputtokens – hetzelfde tarief als voor Opus 4.8. Het model voerde de Artificial Analysis Intelligence Index aan met 61 punten en komt per taak grofweg op de helft van de kosten van Fable 5 uit.
Het model ondersteunt een contextvenster van 1 miljoen tokens en een maximale output van 128.000 tokens. Op ARC‑AGI‑3 scoorde het 30,2%, circa drie keer zoveel als het op één na beste gepubliceerde resultaat, en op Terminal‑Bench 2.1 haalde het 89,1% bij maximale inspanning. Een woordvoerder van Anthropic raadde klanten aan om concurrerende modellen altijd op één duidelijk afgebakende taak én één langlopende opdracht te testen voordat ze zich vastleggen.
Reacties van experts op Astra
Voor Astra zijn nog geen prijzen, benchmarks of onafhankelijke tests gepubliceerd. Kopers moeten dus een geleverd product afwegen tegen een onderzoeksclaim.
Thomas Bloom, wiskundige aan de University of Manchester, noemde de tien resultaten op X “groot nieuws” en achtte ze belangrijker dan OpenAI’s eerdere bewijs.
Tegelijk maakte Bloom korte metten met de gedachte dat het model wiskundigen overbodig maakt: mensen hebben het systeem gebouwd en getraind op alles wat wiskundigen hebben geschreven. Noam Brown, onderzoeker bij OpenAI, wees erop dat geen enkel Millennium Prize Problem werd gekraakt en dat het team per probleem relatief weinig rekentijd heeft ingezet.
Cognitiewetenschapper Gary Marcus stelde dat de resultaten echt zijn, maar volgens hem sterk worden overdreven alsof het hele vakgebied is opgelost.
De aankondiging volgt op een doorbraak in mei met een verwant “long‑horizon”-systeem uit dezelfde familie, dat de Erdos‑unit‑distance‑conjectuur, een tachtig jaar oud probleem in de discrete meetkunde, ontkrachtte. Fields‑medaillewinnaar Tim Gowers zei destijds dat hij dat bewijs zonder aarzeling zou aanbevelen voor publicatie in de Annals of Mathematics.
Lees ook: Geruchten over vouwbare iPhone concreter: $2.500, geen Face ID, geen telelens
