alt Hacker NewsBy explaining, I just meant writing papers in a human-readable way. For example, the results yesterday were also written up by AI.
Explaining in the sense of getting someone who doesn't get math to actually get math, giving illustrative examples and so on, maybe AIs are not good at, but anyway it's not something I enjoy much.
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.