KI-Systeme von OpenAI DeepMind und Math Inc. lösen jahrzehntealte mathematische Probleme und verbessern ...