Comment by rsfern

I think you’re out of touch with the discourse in the mathematical community, it’s quite relevant because clear communication is an important aspect of intelligence

Proofs can be unreadable for more than one reason. Are these ones unreadable because the math is super advanced or because current agents suck at clear writing? Maybe a bit of both?