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.