Comment by Workaccount2

>One wonders if some professional mathematicians are instead choosing to publish LLM proofs without attribution for career purposes.

This will just become the norm as these models improve, if it isn't largely already the case.

It's like sports where everyone is trying to use steroids, because the only way to keep up is to use steroids. Except there aren't any AI-detectors and it's not breaking any rules (except perhaps some kind of self moral code) to use AI.