I don't think that's true, I'm a software engineer and I am wiling to admit that GPT-4 is useful for generating/refactoring code. If only I was allowed to use i

I don't think that's true, I'm a software engineer and I am wiling to admit that GPT-4 is useful for generating/refactoring code. If only I was allowed to use it for work :( It is not useful for working with maths proofs, except maybe if you are bad a latex.