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 de théorèmes majeurs dont des conjonctures qui ont accompagné mon chemin mathématique : je suis IAbstinent.