Zurück zur Übersicht
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.
OpenAI hat nach eigenen Angaben mit einem internen Reasoning-Modell eine seit rund 80 Jahren offene Vermutung der diskreten Geometrie widerlegt.
Betroffen ist der Unit-Distance-Fall einer klassischen Frage aus dem Fachgebiet. OpenAI teilte mit, der Beweis sei von externen Mathematikern geprüft worden.
Der Befund ist vor allem deshalb bemerkenswert, weil er nicht auf einen Benchmark-Wert zielt, sondern auf ein formales wissenschaftliches Ergebnis. Genau dort wird es für KI ernst: wenn Systeme nicht nur rechnen, sondern neue Aussagen in der Forschung liefern.
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.
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.
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.