OpenAI beschuldigt Mathe-Beweis