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.
Weiterlesen
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.
OpenAI zufolge hat ein internes Reasoning-Modell den Unit-Distance-Fall einer klassischen Vermutung der diskreten Geometrie widerlegt. Laut dem Unternehmen haben externe Mathematiker den Beweis geprüft. Sollte sich der Befund halten, wäre das ein Hinweis darauf, dass KI in der Forschung mehr kann als nur Zuarbeit.
Die Gründer und Teammitglieder von NextSlide sollen künftig an ChatGPT arbeiten. Finanzielle Details der Übernahme wurden nicht veröffentlicht.
Interne Tests zeigen deutliche Fortschritte bei agentischem Programmieren und Cybersecurity-Aufgaben. OpenAI kann nicht ausschließen, dass Astra unter dem eigenen Preparedness Framework die Stufe „Critical“ erreicht.
Der Kommentarbereich wird geladen, sobald du ihn erreichst.