I could have spent time getting it to generate more formulas and diagrams. It's not difficult since it generates LaTeX, but I wouldn't be able to understand them.
According to ChatGPT the paper makes sense to ChatGPT but isn't rigorous enough. Then if I put that into a feedback loop, it starts producing "more rigorous" output.
It's a little concerning so I decided to stop here. It seems it could produce a wall of mathematical text that would take a professional a year to read.