OpenAI promet de résoudre 100 théorèmes, des chercheurs lancent un audit indépendant pour vérifier ses résultats