OpenAI hat seine nächste große Modellfamilie, Astra, über zehn gelöste Matheprobleme vorgestellt – just in dem Moment, in dem chinesische Open-Weight-Rivalen sich einen immer größeren Teil des globalen KI-Traffics sichern.
Wichtigste Punkte:
- OpenAI stellte Astra am 1. August in einem Forschungsbeitrag vor, 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 dominieren inzwischen die gerouteten Tokens, während US-Labs weiterhin fast die gesamten Ausgaben auf sich vereinen.
Astra löst zehn offene Matheprobleme
Das Unternehmen nannte das Modell am 1. August in einem Forschungsbeitrag zur Mathematik – nicht in einer klassischen Produktankündigung.
Eine interne Astra-Version lieferte neue Resultate zu zehn Problemen der Mathematik und theoretischen Informatik, die jeweils seit mindestens zehn Jahren ungelöst waren.
OpenAI veröffentlichte ein 249-seitiges Manuskript sowie maschinenprüfbare Lean-4-Beweiszertifikate auf GitHub unter einer offenen Lizenz.
Das zentrale 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 für alle zehn Lösungen zusammen nach aktuellen API-Preisen von Sol, dem aktuellen Flaggschiffmodell des Unternehmens, rund 2.000 US‑Dollar gekostet hätten.
Außerdem lesenswert: OpenAI flog Influencer in ein Farm-Resort – ihre Follower reagierten mit heftigem Gegenwind
Mathematische Community prüft Astras Beweisansprüche
Thomas Bloom, Mathematiker an der University of Manchester und Betreiber einer öffentlichen Datenbank zu Erdos-Problemen, sprach von einer großen Nachricht und bewertete die Resultate höher als das Geometrie-Ergebnis, das OpenAI im Mai präsentiert hatte.
Zugleich erteilte er der Vorstellung eine Absage, Maschinen würden sein Fach ersetzen: Das System sei schließlich auf mehr als hundert Jahren mathematischer Fachliteratur trainiert. Noam Brown, Forscher bei OpenAI, betonte zudem, dass das Team bei mehreren anderen berühmten Problemen gescheitert sei. Kein einziges Millennium-Problem wurde gelöst, doch Brown argumentiert, dass die einzelnen Versuche vergleichsweise wenig Rechenleistung verschlungen hätten – und wertet das Projekt als wichtigen Fortschritt beim wissenschaftlichen Schließen.
Sam Altman stellte das System vergangene Woche Abgeordneten in Washington im Vorfeld vor. Astra dürfte das erste Modell werden, das unter einem neuen bundesstaatlichen Rahmenwerk geprüft wird. Ein Veröffentlichungstermin steht nicht fest; ebenso ist offen, ob die Reihe als GPT‑6 oder als weitere GPT‑5-Variante auf den Markt kommt.
Chinesische Open Weights verschieben den Token-Markt
Das Timing ist entscheidend, denn das Open-Weight-Lager wartet nicht mehr darauf, dass US-Labs die technologische Spitze definieren. Nvidia-Chef Jensen Huang versammelte im vergangenen Monat mehrere US‑Technologiekonzerne hinter der Open-Weight-Idee, während Anthropic-CEO Dario Amodei verpflichtende Sicherheitstests und schärfere Exportkontrollen für Chips forderte.
Moonshot AI brachte im Juli Kimi K3 mit 2,8 Billionen Parametern und offenen Gewichten auf den Markt – beworben als bislang größtes offenes Modell.
Auf der Plattform OpenRouter ist der Anteil der Tokens, die zu US‑Modellen geroutet werden, von rund 70 % im Juni 2025 auf etwa 30 % ein Jahr später gefallen. Auf einem großen Enterprise‑Gateway vereinnahmten US‑Labs im Juni allerdings weiterhin knapp 95 % der Ausgaben – genau diese Umsatzlücke muss Astra verteidigen.
Als Nächstes lesen: Dogecoin vor wichtigem Support bei 0,05 US‑Dollar – Weg frei für einen Lauf bis 0,12 US‑Dollar?
