Zurück zur Übersicht
Das interne Modell „Astra“ soll nach Angaben von OpenAI mathematische Argumente für langjährige offene Probleme erzeugt haben. Die Ergebnisse reichen von Kugelpackung und Kodierungstheorie bis zu Quantenkomplexität und Gitterkryptografie.
OpenAI hat zehn Forschungsergebnisse vorgestellt, die das interne Modell „Astra“ erzielt oder wesentlich vorangebracht haben soll. Die Arbeiten befassen sich unter anderem mit hochdimensionaler Kugelpackung, Kodierungstheorie, Quantenkomplexität, Gitterkryptografie und extremer Kombinatorik.
Nach Angaben des Unternehmens erzeugte Astra die mathematischen Argumente. Menschen bereiteten daraus Manuskripte auf. Anschließend formalisierte das Modell die Beweise in maschinenprüfbaren Lean Zertifikaten.
Die veröffentlichte Sammlung umfasst 249 Seiten. Zu den behandelten Fragen zählen die Existenz nichtsoforischer Gruppen, Connes’ Starrheitsvermutung und neue Schranken für Ramsey Zahlen. OpenAI betont, dass die mathematische Fachgemeinschaft die Ergebnisse nun prüfen und in den Forschungsstand einordnen muss. Der entscheidende Test beginnt damit erst nach der Veröffentlichung.
Der Kommentarbereich wird geladen, sobald du ihn erreichst.
Weiterlesen
Das US-Unternehmen trainierte Periodic Neon mit eigenen Labordaten und nutzt es nach eigenen Angaben zur Analyse von Röntgenbeugungsdaten. Die Ergebnisse stammen bislang aus internen Tests und sind nicht unabhängig bestätigt.
OpenAI zufolge zeigt ein internes System, dass die dreidimensionalen Navier-Stokes-Gleichungen in endlicher Zeit eine Singularität entwickeln können. Der Beweis wurde formalisiert und im Beweisassistenten Lean geprüft, muss sich aber noch einer unabhängigen mathematischen Prüfung stellen.
OpenAI meldet interne Fortschritte bei der Automatisierung von Forschungsaufgaben und strebt bis März 2028 einen automatisierten KI-Forscher an. Die veröffentlichten Zahlen sind vorläufig und belegen keine entsprechende Steigerung des Forschungsertrags.
In einem Vergleich von zehn KI Assistenten erreichte GPT-5.5 Thinking die höchste Gesamtpunktzahl. Claude Sonnet 4.6 sagte dafür die meisten Gruppenspiele korrekt voraus.