> we can however be optimistic, oddly. If you believe Feynman when he says that you can't explain to a child something you don't understand.. then we can see that ChatGPT has no idea of just what it has done!
Why would that be optimistic? Seems like the pessimistic reading to me, if anything. Or are you having a bout of Schadenfreude?
It means that humans can, for now, still do something that chatgpt can't. Distill [proofs. Even if some may hesitate call that understanding.]
Compare the various summaries that humans have written on the Jacobian counterexample, to the chat logs that were archived.
Have you tried asking ChatGPT / Claude etc for a good summary?