Ein KI-Modell von OpenAI hat einen eigenständigen Beweis für ein jahrzehntealtes Zahlenproblem gefunden ...
