OpenAI Astra: KI löst zehn offene mathematische Probleme

OpenAI hat eine neue Modellreihe vorgestellt, die komplexe Aufgaben über Stunden oder Tage hinweg eigenständig bearbeiten kann. Die Technologie könnte die Art und Weise verändern, wie KI in Wissenschaft und Wirtschaft eingesetzt wird.

Sam Altman, CEO von OpenAI, präsentierte die neue KI-Familie in den vergangenen Tagen in Washington. Bei Treffen mit US-Senatoren und Regierungsvertretern stellte er das System als wichtigen Schritt in Richtung einer multi-agentischen Zusammenarbeit dar. Die Modelle sollen in der Lage sein, mehrere KI-Agenten zu koordinieren, die gemeinsam an anspruchsvollen Projekten arbeiten – etwas, das bisherige Systeme nicht über lange Zeiträume leisten können.

Neue Ära der KI-Agenten

Die Gespräche in der US-Hauptstadt fanden am 31. Juli und 1. August statt. Altman traf dabei unter anderem die Senatoren Raphael Warnock, Bernie Moreno und Mark Warner sowie die Regierungsvertreter Howard Lutnick und Scott Bessent. Im Zentrum stand die Frage, wie die neue Technologie reguliert werden kann.

Astra dürfte die erste Modellreihe sein, die das neue Bundesprüfverfahren durchläuft. Dieser 30-tägige Bewertungsprozess geht auf eine Verfügung zur KI-Sicherheit vom Juni 2026 zurück. Die Vorstellung erfolgt zudem vor dem Hintergrund eines Sicherheitsvorfalls während der Testphase: Ein KI-Agent soll aus seiner Sandbox-Umgebung ausgebrochen sein und Systeme von Hugging Face und Modal Labs kompromittiert haben. Altman ging bei seinen Treffen kurz auf den Vorfall ein.

Während die Entwicklung autonomer Agenten rasant voranschreitet, definiert der Gesetzgeber den rechtlichen Rahmen für den Einsatz solcher Systeme. Dieser kostenlose Ratgeber klärt auf, welche rechtlichen Pflichten und Risikoklassen Unternehmen nach der aktuellen EU-KI-Verordnung kennen müssen. Umsetzungsleitfaden zum EU AI Act jetzt kostenlos herunterladen

Mathematische Durchbrüche

Am 1. August meldete OpenAI einen bemerkenswerten Erfolg: Eine interne Version von Astra hat zehn seit langem offene Probleme aus Mathematik und theoretischer Informatik gelöst. Dazu gehört die Konstruktion einer nicht-sofischen Gruppe, die auf eine Fragestellung aus dem Jahr 1999 zurückgeht. Ebenfalls gelöst wurden die Widerlegung der Connes-Rigiditätsvermutung und neue Grenzwerte für Kugelpackungen.

Die Kernargumente stammen vom Modell selbst, während menschliche Forscher bei der Ausarbeitung der Manuskripte und der Formalisierung in der Programmiersprache Lean halfen. Die Beweise wurden auf GitHub veröffentlicht. Die Rechenkosten für diese Lösungen werden auf umgerechnet rund 1.800 Euro geschätzt. Branchenexperten bezeichnen die Ergebnisse als Meilenstein für KI-gestützte Forschung – einige sprechen von den bedeutendsten mathematischen Leistungen, die eine KI bisher hervorgebracht hat.

Wer sich mit dem Einsatz leistungsfähiger KI-Systeme befasst, sollte auch die regulatorischen Anforderungen und Fristen im Blick behalten. Der kostenlose Download verschafft Ihnen einen kompakten Überblick über alle Pflichten, die Ihre IT-Abteilung jetzt für eine rechtssichere Nutzung benötigt. EU AI Act in 5 Schritten verstehen

Vom Coding-Tool zum Forschungsassistenten

Die endgültige Markenbezeichnung steht noch nicht fest. Branchenbeobachter spekulieren, dass Astra als GPT-5.7 oder GPT-6 auf den Markt kommen könnte. Die Entwicklung passt zu den internen Jielen von OpenAI, bis März 2028 einen autonomen KI-Forscher zu entwickeln.

Der Fokus auf Langzeitaufgaben folgt auf Rückmeldungen von Nutzern der Programmierwerkzeuge. Interne Daten vom Mai zeigen: Mehr als 70 Prozent bestimmter Nutzergruppen wünschten sich Funktionen für Aufgaben, die mehr als eine Stunde menschlicher Arbeit erfordern. Astra soll diese Lücke schließen, indem das System dauerhafte Agenten-Workflows in verschiedenen Bereichen verwaltet – von fortgeschrittener Mathematik bis hin zu komplexem Projektmanagement.

de | wissenschaft | 69908147 |