I replied to a comment with a structured informal proof on HN.
A well established user here was adamant that I used AI because apparently humans never ever wrote proofs.
This was a while ago. Any well crafted human output is now being dismissively cast as AI if the reader is challenged by the output intellectually/politically.