> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. I'm a professional mathematician and

> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. I'm a professional mathematician and these tools are not available for me. So not happy about that! (just to be clear, I'm not anti AI, I'm just criticising the shallowness of your comment)