The technical debt of AI-generated mathematics

[This is a guest post by Henry Cohn. This blog post was initially written in a different file format and converted using AI. — T.] In this essay I’d like to discuss the role of AI-gener…