We don't know what the long-term effects of AI in mathematics will be. Yet, even if it were to attain a state of sheer infallibility, we believe it is healthy that some maintain exclusive contact with an unmediated mathematical practice.
Without in any way considering it inappropriate for others to use the fanciest AI models in whatever manner they see fit, we’ve decided to keep doing mathematics without AI.
We choose to do so in a shared, publicly visible form, as our contribution to cultural resilience and social ecology, and as an exercise of our academic and intellectual freedom.
Which indeed needs, as everything, a bit of exercise sometimes 🙂