[UncleEntity]

> I have had ChatGPT parse math I had written in LaTeX and reach a correct result, do modifications and so on.

Interesting, didn’t know it could do that.

Wondering if it could also follow along with the lemmas in various papers and reach reasonable conclusions.

[PartiallyTyped]

It depends, I have used Copilot to modify LaTeX and write segments of my thesis, and it works surprisingly well, though its arguments are not very precise.