OpenAI bevestigde op 1 augustus Astra als zijn volgende grote modelfamilie: een nog niet uitgebrachte systeem dat tien wiskundeproblemen oploste, een week na de lancering van Anthropic’s Claude Opus 5.
Belangrijkste punten
- OpenAI bevestigde de naam Astra op 1 augustus in een researchpost over tien opgeloste wiskundeproblemen.
- Astra stuurt meerdere agenten aan die zich uren- tot dagenlang in één probleem vastbijten, maar het model is nog niet uitgebracht en heeft geen lanceringsdatum.
- Claude Opus 5 verscheen op 24 juli, geprijsd op $5 en $25 per miljoen tokens, met een contextvenster van 1 miljoen tokens.
OpenAI Astra: model in de onderzoeksfase
OpenAI onthulde de naam Astra in een researchpublicatie, waarin een interne versie van het model wordt gecrediteerd met tien doorbraken in de wiskunde en de theoretische informatica. Het gaat om vraagstukken die elk al minimaal tien jaar openstonden. Het werk bestrijkt hoog-dimensionale meetkunde, coderingstheorie en kwantumcomplexiteit; één bewijs levert het bestaan van niet-sofische groepen.
De propositie van Astra draait eerder om looptijd dan om ruwe snelheid: het model coördineert meerdere agenten die langdurig – uren of zelfs dagen – gezamenlijk aan één probleem werken.
Eerdere berichtgeving plaatste Astra naast de modelreeksen Sol, Terra en Luna. Er is nog geen releasedatum, noch een definitief label als GPT‑6 of GPT‑5.7. Sam Altman demonstreerde het systeem aan beleidsmakers in Washington, en naar verwachting wordt de familie als eerste beoordeeld onder een gepland federaal goedkeuringskader.
Ook interessant: AI‑infrastructuur: wanhopige $1 mrd‑pivot van een flitskredietverstrekker naar datacenters
Claude Opus 5: prijzen en prestaties
Anthropic lanceerde Claude Opus 5 op 24 juli, tegen $5 per miljoen inputtokens en $25 per miljoen outputtokens, gelijk aan het tarief voor Opus 4.8. Het model voerde de Artificial Analysis Intelligence Index aan met 61 punten en ligt qua kosten per taak ongeveer op de helft van Fable 5.
Het model ondersteunt een contextvenster van 1 miljoen tokens en een maximale output van 128.000 tokens. Het haalde 30,2% op ARC‑AGI‑3, ruim drie keer de volgende best gepubliceerde score, en 89,1% op Terminal‑Bench 2.1 in de hoogste inspanningsstand. Een woordvoerder van Anthropic raadde zakelijke klanten aan om concurrerende modellen te testen op zowel een afgebakende taak als een langlopend project alvorens zich vast te leggen.
Hoe de markt naar Astra kijkt
Voor Astra zijn nog geen prijzen, benchmarks of externe tests gepubliceerd. Kopers staan dus tegenover een concreet, leverbaar product aan de ene kant en een ambitieus onderzoeksresultaat aan de andere.
Thomas Bloom, wiskundige aan de University of Manchester, noemde de tien resultaten op X “groot nieuws” en schaarde ze boven een eerder bewijs van OpenAI.
Bloom wees er tegelijk op dat het model geen vervanging is voor wiskundigen, omdat het is ontworpen door mensen en is getraind op alles wat wiskundigen tot dusver hebben gepubliceerd. Noam Brown, onderzoeker bij OpenAI, benadrukte dat er geen Millennium Prize Problems zijn opgelost en dat per probleem relatief beperkt rekenbudget is ingezet.
Cognitief psycholoog Gary Marcus stelde dat de resultaten echt zijn, maar volgens hem zwaar oversold worden als bewijs dat het hele vakgebied “opgelost” zou zijn.
De aankondiging volgt op een resultaat van mei uit dezelfde langetermijnfamilie, waarin een versie van het systeem de Erdos‑unit‑distance‑conjectuur weerlegde, een tachtig jaar oud vraagstuk in de discrete meetkunde. Fields‑medaillewinnaar Tim Gowers zei destijds dat hij dat bewijs zonder aarzeling zou aanbevelen voor publicatie in de Annals of Mathematics.
Lees verder: Geruchten over vouwbare iPhone concreter: $2.500, geen Face ID, geen telelens