I am OK with reading (decently-written) papers, something that a graduate can read. I still don't think that AI is good at it.

I am not sure what writeup you refer to. I have looked at proofs of 10 problems from Open AI written in Lean, I would not call a megabyte of Lean with no comments a good exposition.