I will say, as a mathematician who likes to make simulations, this part of GenAI has been a boom.

At the same time, I do wish it wouldn't do my proofs as well lmao