OpenAI promet de résoudre 100 théorèmes sous l’audit de mathématiciens · 2 rédactions