Je n'utilise pas l'IA générative, et je ne compte pas commencer même après la publication par OpenAI de centaines de démonstrations de théorèmes majeurs dont des conjectures qui ont accompagné mon chemin mathématique : je suis IAbstinent. Dans ce billet, mon but est d'expliquer pourquoi.