OpenAI « Astra » soll 10 offene Probleme in Mathematik und Informatik gelöst haben – wir warten auf die Beweise

Noam Brown postet, HN kommentiert: Ein internes Modell hätte zehn große offene Probleme gelöst. Nichts wurde veröffentlicht. Man beobachtet, man zieht keine Schlüsse.

In einfachen Worten. Der OpenAI-Forscher Noam Brown (@polynoamial) gibt bekannt, dass ein internes Modell namens Astra zehn ungelöste Hauptprobleme in Mathematik und Informatik gelöst haben soll. Die Beweise wurden nicht veröffentlicht.

Die Fakten

Der Beitrag, der am 2. August 2026 auf Hacker News (Beitrag 49143688) geteilt wurde, nennt keine genaue Liste der zehn Probleme. Ein Problem (Nummer 6) soll auf Arbeiten des Forschers Henry Yuen (Quantenkomplexitätstheorie) basieren. Zum Zeitpunkt der Erstellung dieses Artikels sind noch keine schriftlichen Beweise öffentlich zugänglich.

Unsere Einschätzung

Die Ankündigung reiht sich in eine Serie ein. Erinnerung an Veröffentlichung #1342: ein OpenAI-Ergebnis zu einem seit dreißig Jahren ungelösten konvexen Optimierungsproblem, das vor der Peer-Review kommuniziert wurde. Die heutige HN-Diskussion weist auf dieselbe Kritik hin – auf die Veröffentlichung der Beweise zu warten, um die Mathematik selbst zu überprüfen – und betont den Kontrast zu wissenschaftlichen Standards: arXiv-Ablage, Review, Replikation. Weder Katastrophismus noch Hype: Die Ankündigung wird zur Kenntnis genommen, das Urteil wird bis zum Vorliegen der Beweise ausgesetzt.

Das Thema ist relevant, weil es – falls bestätigt – die Messlatte dessen verschieben würde, was fortschrittliche LLMs in mathematischer Argumentation tatsächlich leisten können: nicht nur das Nachahmen von Ableitungsketten, sondern das Generieren neuer, überprüfbarer Beweise. Genau hier entscheidet sich die Grenze zwischen Forschung und Hype.

Zu beobachten

Effektive Veröffentlichung der Beweise (arXiv, OpenAI-Blog); Benennung der zehn Probleme; Reaktionen von Henry Yuen und den betroffenen Mathematikern; Replikation durch Dritte.