OpenAI hat seine nächste große Modellfamilie, Astra – präsentiert über zehn gelöste Matheprobleme, vorgestellt – in einem Moment, in dem chinesische Open-Weight-Rivalen rasant steigende Anteile am globalen KI-Traffic auf sich ziehen.
Zentrale Punkte:
- OpenAI hat Astra am 1. August in einem Forschungsbeitrag vorgestellt, der Lösungen für zehn seit mindestens einem Jahrzehnt offene Probleme beansprucht.
- Das Modell hat weder ein Veröffentlichungsdatum noch einen finalen Namen und muss vor dem Start eine neue bundesstaatliche Prüfung durchlaufen.
- Chinesische Open-Weight-Modelle stellen inzwischen die Mehrheit der gerouteten Tokens, während US-Labs weiterhin fast den gesamten Umsatz einstreichen.
Astra knackt zehn offene Probleme in Mathematik und theoretischer Informatik
Das Unternehmen hat das Modell am 1. August in einem Forschungsbeitrag zur Mathematik namentlich eingeführt – nicht in einer klassischen Produktankündigung.
Eine interne Astra-Version lieferte neue Resultate zu zehn Problemen aus Mathematik und theoretischer Informatik, die jeweils seit mindestens zehn Jahren als ungelöst galten.
OpenAI hat ein 249-seitiges Manuskript sowie maschinenprüfbare Lean‑4‑Beweiszertifikate unter offener Lizenz auf GitHub veröffentlicht.
Das wichtigste Ergebnis ist die erste explizite Konstruktion einer nicht-sofischen Gruppe – eine Frage aus der Gruppentheorie, die seit 1999 offen war. Forschende schätzen, dass die Tokens hinter allen zehn Lösungen nach den API-Preisen von Sol, dem aktuellen Flaggschiff-Modell des Unternehmens, rund 2.000 US‑Dollar gekostet hätten.
Auch interessant: OpenAI flog Influencer in ein Landresort – ihre Follower reagierten mit heftiger Kritik
Mathematiker prüfen Astras Beweisansprüche
Thomas Bloom, Mathematiker an der University of Manchester und Betreiber einer öffentlichen Datenbank zu Erdos-Problemen, sprach von einem großen Erfolg und bewertete die Arbeit höher als das Geometrieergebnis, das OpenAI im Mai präsentiert hatte.
Er wies die Vorstellung zurück, Maschinen würden sein Fach ablösen, und betonte, das System sei auf mehr als ein Jahrhundert mathematischer Fachliteratur trainiert worden. Noam Brown, Forscher bei OpenAI, erklärte, das Team sei bei mehreren weiteren prominenten Problemen gescheitert. Kein Millennium-Preisproblem wurde gelöst; zugleich habe jeder Versuch vergleichsweise wenig Rechenleistung beansprucht, weshalb Brown den Ansatz als wichtigen Fortschritt für wissenschaftliches Schlussfolgern wertet.
Sam Altman hat das System vergangene Woche in Washington gegenüber Gesetzgebern vorgestellt. Astra dürfte das erste Modell sein, das unter einem neuen bundesstaatlichen Prüfrahmen bewertet wird. Das Unternehmen hat weder einen Veröffentlichungstermin genannt noch entschieden, ob die Familie als GPT‑6 oder als weitere GPT‑5‑Variante auf den Markt kommt.
Chinesische Open-Weight-Modelle verschieben die Token-Nachfrage
Das Timing ist entscheidend, denn das Open-Weight-Lager wartet nicht mehr darauf, dass US-Labs die technologische Spitze definieren. Nvidia‑Chef Jensen Huang vereinte im vergangenen Monat mehrere amerikanische Tech-Konzerne hinter dem Open-Weight-Ansatz, während Anthropic‑CEO Dario Amodei verpflichtende Sicherheitstests und schärfere Exportkontrollen für Chips fordert.
Moonshot AI brachte im Juli Kimi K3 mit 2,8 Billionen Parametern und offenen Gewichten auf den Markt – vermarktet als größtes offenes Modell, das bisher gebaut wurde.
Auf der Plattform OpenRouter ist der Token-Anteil US-amerikanischer Modelle gesunken – von rund 70 % im Juni 2025 auf etwa 30 % ein Jahr später. Auf einem großen Enterprise-Gateway vereinnahmten US-Labs im Juni dennoch fast 95 % der Ausgaben. Genau diesen Umsatzvorsprung soll Astra nun verteidigen.
Weiterlesen: Dogecoin vor dem Test von 0,05 US‑Dollar – mit Blick auf eine mögliche Rallye bis 0,12 US‑Dollar