Eine künstliche Intelligenz von OpenAI hat ein Mathe-Rätsel gelöst, an dem sich die Wissenschaft seit 80 Jahren die Zähne ausgebissen hatte.