---
title: "OpenAI stellt Astra vor: Eine KI, die jahrzehntelang ungelöste mathematische Probleme gelöst hat"
description: "OpenAI hat offiziell das neue Modell Astra vorgestellt, das 10 komplexe mathematische Probleme gelöst hat, an denen Wissenschaftler jahrzehntelang gearbeitet haben. 🧮🤖 Zu den Entdeckungen gehört das erste Beispiel einer nicht-sofischen Gruppe. Sam Altman hat das System bereits den US-Aufsichtsbehörden vorgestellt. 🇺🇸"
date: 2026-08-02T14:16:26.000Z
lang: de
url: https://xab.info/de/posts/openai-astra-loeste-mathematische-probleme-de
tags: [openai, astra, sam-altman, artificial-intelligence, mathematics]
publisher: "XAB.info"
---

# OpenAI stellt Astra vor: Eine KI, die jahrzehntelang ungelöste mathematische Probleme gelöst hat

![OpenAI-Logo und stilisierte Sonne als Symbol für den Durchbruch in der Mathematik durch KI Astra](https://xab.info/media/2026/08/02/openai-astra-reshila-matematicheskie-zadachi/openai-astra-reshila-matematicheskie-zadachi-1.webp)

Das Unternehmen OpenAI hat offiziell die Entwicklung einer neuen künstlichen neuronalen Netzwerks namens Astra bestätigt. In einem veröffentlichten Bericht heißt es, dass das Modell zur „nächsten großen Familie“ der Entwicklungen des Unternehmens gehört und die Fähigkeit demonstriert hat, grundlegende wissenschaftliche Probleme zu lösen, an denen die Menschheit seit Jahrzehnten arbeitet.

### Durchbruch in Mathematik und Gruppentheorie

Die interne Version von Astra hat erfolgreich zehn offene Probleme im Bereich Mathematik und theoretische Informatik gelöst. Forscher arbeiteten mindestens zehn Jahre, in einigen Fällen sogar deutlich länger, erfolglos an diesen Aufgaben. Die von dem Modell abgedeckten Bereiche umfassen mehrdimensionale Geometrie, Kodierungstheorie, Quantenkomplexität, Gitterkryptographie und extreme Kombinatorik.

Eines der bedeutendsten Ergebnisse war die Konstruktion des ersten Beispiels einer nicht-sofischen Gruppe. Die Existenz eines solchen mathematischen Objekts wurde seit vielen Jahren diskutiert, und seine Entdeckung könnte der Schlüssel zur Lösung eines der grundlegenden Probleme der modernen Gruppentheorie sein.

### Reaktion der wissenschaftlichen Gemeinschaft

Die Ergebnisse der Arbeit von Astra haben in der akademischen Welt eine lebhafte Reaktion ausgelöst. Der Mathematiker Thomas Bloom von der Universität Manchester nannte sie eine „große Neuheit“. Nach seiner Einschätzung übersteigt die Bedeutung dieser Entdeckungen sogar das im Mai veröffentlichte Gegenbeispiel zur Hypothese über Einheitsabstände.

Gleichzeitig ist Bloom skeptisch gegenüber der Idee, dass Mathematiker bald durch künstliche Intelligenz ersetzt werden. Er weist darauf hin, dass moderne KI-Systeme selbst auf jahrelanger Arbeit der mathematischen Gemeinschaft basieren und mit von ihr erstellter wissenschaftlicher Literatur trainiert wurden.

### Technologie und Formalisierung von Beweisen

Ein Entwickler der Reasoning-Technologie von Astra, Noam Brown, berichtete, dass das Unternehmen das Modell bereits auf andere bekannte offene Probleme angewendet hat, jedoch bisher ohne Erfolg. Insbesondere konnte das Modell noch keines der „Millennium-Probleme“ lösen, für die das Clay Mathematics Institute eine Million Dollar ausgesetzt hat.

Dennoch war der für die Lösung der zehn aktuellen Aufgaben erforderliche Rechenaufwand relativ gering: Laut Schätzungen von OpenAI entspricht dies bei Verwendung der Sol-API zu aktuellen Tarifen etwa 2.000 US-Dollar. Nach der Generierung von Ideen haben Forscher gemeinsam mit Astra diese in vollständige wissenschaftliche Artikel verwandelt.

Ein wichtiger Aspekt der Arbeit war die Verwendung des Systems Lean – einer Programmiersprache und eines interaktiven Tools zur Überprüfung von Theoremen. Dies ermöglichte die Formalisierung der Beweise und machte sie maschinell überprüfbar, wodurch Fehler vermieden wurden, die bei manueller Aufzeichnung typisch sind. OpenAI veröffentlichte zudem eine schrittweise Beschreibung der Logik der Schlussfolgerungen des Modells.

### Zukunft von Astra und regulatorische Kontrolle

Früher hatte OpenAI von der Entwicklung einer neuen Modellfamilie für die Ausführung langwieriger und komplexer Aufgaben berichtet. Diese Woche präsentierte CEO Sam Altman Astra Vertretern der US-Regierung und Aufsichtsbehörden und betonte ihre Fähigkeit, die Arbeit zahlreicher KI-Agenten zu koordinieren.

Laut Quellen wird Astra in das Produktportfolio zusammen mit den Modellen Sol, Terra und Luna aufgenommen. Der kommerzielle Name wird derzeit noch nicht offengelegt. Die neuen Modelle durchlaufen bereits interne Tests und werden die ersten Systeme des Unternehmens sein, die im Rahmen des in den USA entwickelten Bewertungsverfahrens für fortschrittliche KI-Modelle überprüft werden.

Die Hauptaufgabe der Entwickler bleibt die Gewährleistung eines stabilen Betriebs der Modelle bei der Ausführung langer Schlussfolgerungsketten, was heute als eine der wichtigsten Einschränkungen von agentenbasierten KI-Systemen gilt.