ChatGPT-5.2 von OpenAI hat eine seit langem bestehende mathematische Vermutung bewiesen und damit gezeigt, dass KI in der Lage ist, eigenständig originelle Beweise zu erstellen. Forscher der Freien Universität Brüssel beschreiben diesen bahnbrechenden Durchbruch als einen Schritt, der KI über Text und Code hinaus in die strenge theoretische Mathematik führt, wodurch sich die Rolle des Menschen möglicherweise von der des Erstellers hin zur des Überprüfers verschiebt und wissenschaftliche Entdeckungen beschleunigt werden.