ChatGPT is quite a good narrator. I hardly believe that any generative AI could provide a solution for any non-trivial proposition if the creator doesn't work deeply in the structure of the formal maths.