[enricozb]

I'm not a mathematician (but I've seen exact sequences and commutative diagrams) and to me the stuff out of his IUT papers[0] looks borderline LLM-generated. I can only imagine what the LaTeX source looks like.

[0]: https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%2...

[IsTom]

Holy moly, they weren't joking about being out of this world.