The interesting thing is, most messages were ending with just one question of his. Examples:

- ..Does this polynomial map have any symmetry or other structure that makes this cancelation less miraculous?

- Given this structure can you see the non injectivity in a transparent way?

- ..But why is the jacobian from x u r to P Q R just a monomial?

- ..Is there a general theory of such twisted jacobians and do you have any sense why those particular dilation weights were used?

- Given this weight structure, why exactly is x given by a cubic equation from P,Q,R?

Also, looks like Terence Tao was doing lot of work and asking LLM to verify. This is inverse of the LLM trend, where LLM does the work and humans verify.