> In this essay, I present the case for total opposition to the use of artificial intelligence in mathematics.

<Gets popcorn>