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.
DeepSeek hat die allgemeine Verfügbarkeit von DeepSeek V4 Pro angekündigt. Die API unterstützt nun nativ das OpenAI Responses Format und erlaubt eine abgestufte Steuerung des Rechenaufwands im Denkmodus.
Das neue Modell zielt auf mehrstufige Recherche, Softwareentwicklung und Datenanalyse. Laut SpaceXAI erreicht es im Artificial Analysis Intelligence Index den Wert 61 und liegt damit gleichauf mit OpenAIs GPT-5.6 Sol.
Der Kommentarbereich wird geladen, sobald du ihn erreichst.