The proof itself can be studied, either with AI or not.

"Intermediate reasoning traces" might be interesting but they are not by any means requited.

This letter has nothing to do with reasoning traces anyway: they just don't want math research to be front-run by internal models, that's all.