|
|
|
|
|
|
by js8
1 hour ago
|
|
|
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. |
|
|