AIs make for adversarial communication [loc-004U]

I quite enjoyed this article by Glyph. It pins down quite well what makes me somewhat concerned about the "autoformalisation" hype in the mathematics community. Mathematics has, up to now, considered all communication (beyond obvious cranks) to have some degree of good faith. The use of LLMs in mathematics have the potential to turn all of mathematics into an adversarial "find the flaw" game. I don't want to participate in an intellectual field like that.

I know I'm becoming a broken record in collecting anti-LLM articles and talking points, but it really is an article of faith for me.