Revolution in der Mathematik: OpenAI löst 80 Jahre altes Problem | WAI News