Ask HN: Are mathematicians less likely to be impressed by ChatGPT?

Mathematicians demand proofs in their work and maybe this means that they would be less likely to be impressed by heuristics in general and AI in particular (even in topics outside of math)?