OpenAI stellt zehn von internem KI-Modell erzeugte Forschungsergebnisse vor

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.