[runner5000]

Das Problem ist nach meinem Infostand bisher nicht gelöst, auch nicht von den aktuellen Berechnungen von OpenAI.

Die von Open AI vorgelegte Lösung genügt den Anforderungen in der offiziellen Formulierung des Problems durch das Clay Mathematics Institute.

Und die Formalisierung des Beweises in Lean deutet schon darauf hin, dass dieser dem noch ausstehenden menschlichen Peer Review standhalten wird.

Die Schlussfolgerung verstehe ich nicht. Die Lösung genügt den Anforderungen nur, wenn es auch eine ist und das steht noch lange nicht fest. Es gab es schon einige Lösungsversuche, die sich als falsch herausgestellt haben.

Es wird in den zwei Tagen noch kein Mathematiker ansatzweise den Beweis durchgearbeitet haben. Das wird ewig dauern. Schauen wir mal, wie es in zwei Jahren aussieht. Das ist die Mindestprüfdauer vom CMI.