Forscher der Firma OpenAI wollen mit KI eines der sieben Millenniumprobleme gelöst haben. Doch es gibt einen schwerwiegenden Verdacht.