OpenAI-Modell löst eines der Millennium-Probleme der Mathematik