I’m wondering what people think about initiatives like \begin{proof} that aim to do mathematics without AI.
The following is an excerpt from their website:
We don't know what the long-term effects of AI in mathematics will be. Yet, even if certain tools 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, in a substantial, not dogmatic, sense.
We choose to do so in a shared, publicly visible form, as our contribution to cultural diversity and social ecology, and as an exercise of our academic and intellectual freedom.