OpenAI behauptet, ein jahrzehntealtes mathematisches Problem mit einer KI gelöst zu haben, und Experten prüfen derzeit die Angaben.