Not that I disagree, but I think this is how many people feel about AI output in fields they care about.

It's also a funny historical mirror to an earlier phase of math proof culture: in a previous era, cryptic result dumps were quite common.