OpenAI will mit KI ein schwieriges mathematisches Problem gelöst haben. Die Ankündigung wird von einem Streit über die Entstehung des Beweises begleitet.